Detail publikace

Model-Based Design and Verification of Reactive Systems

HÝSEK, J. ČEŠKA, M. JANOUŠEK, V.

Originální název

Model-Based Design and Verification of Reactive Systems

Anglický název

Model-Based Design and Verification of Reactive Systems

Jazyk

en

Dokumenty

BibTex


@inproceedings{BUT33421,
  author="Jiří {Hýsek} and Milan {Češka} and Vladimír {Janoušek}",
  title="Model-Based Design and Verification of Reactive Systems",
  address="NEUVEDEN",
  booktitle="Computer Aided Systems Theory",
  chapter="33421",
  edition="NEUVEDEN",
  howpublished="print",
  institution="NEUVEDEN",
  year="2009",
  month="february",
  pages="295--296",
  publisher="NEUVEDEN",
  type="conference paper"
}