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: Marq software s.r.o., 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
Vydavatel
Marq software s.r.o.
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",
  publisher="Marq software s.r.o.",
  address="Krnov",
  isbn="80-85988-26-7",
  url="http://www.fit.vutbr.cz/~vojnar/Publications/vojnar-asis98.ps.gz"
}
Nahoru