Detail publikace

An Overview of Some Automated Tools for Formal Analysis and Verification

VOJNAR, T. An Overview of Some Automated Tools for Formal Analysis and Verification. Proceedings of 20th International Workshop on Advanced Simulation of Systems ASIS'98. Krnov: 1998. p. 223-228. ISBN: 80-85988-26-7.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
URL
Rok
1998
Strany
223–228
Sborník
Proceedings of 20th International Workshop on Advanced Simulation of Systems ASIS'98
Svazek
1
Číslo
Acta MOS
ISBN
80-85988-26-7
Místo
Krnov
BibTeX 
@inproceedings{BUT191478,
  author="Tomáš {Vojnar}",
  title="An Overview of Some Automated Tools for Formal Analysis and
 Verification",
  booktitle="Proceedings of 20th International Workshop on Advanced Simulation of Systems ASIS'98",
  year="1998",
  volume="1",
  number="Acta MOS",
  pages="223--228",
  address="Krnov",
  isbn="80-85988-26-7",
  url="http://www.fit.vutbr.cz/~vojnar/Publications/vojnar-asis98.ps.gz"
}
Nahoru