Detail publikace

An Overview of Some Automated Tools for Formal Analysis and Verification

VOJNAR Tomáš. An Overview of Some Automated Tools for Formal Analysis and Verification. In: Proceedings of 20th International Workshop on Advanced Simulation of Systems ASIS'98. Krnov: MARQ, 1998, s. 223-228. ISBN 80-85988-26-7.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Vojnar Tomáš, Ing., Ph.D. (UIVT FEI VUT)
URL
Rok
1998
Strany
223-228
Sborník
Proceedings of 20th International Workshop on Advanced Simulation of Systems ASIS'98
Svazek
1
Ročník
0
ISBN
80-85988-26-7
Vydavatel
MARQ
Místo
Krnov, CZ
BibTeX 
@INPROCEEDINGS{FITPUB6561,
   author = "Tom\'{a}\v{s} Vojnar",
   title = "An Overview of Some Automated Tools for Formal Analysis and
 Verification",
   pages = "223--228",
   booktitle = "Proceedings of 20th International Workshop on Advanced Simulation of Systems ASIS'98",
   volume = 1,
   number = "Acta MOS",
   year = 1998,
   location = "Krnov, CZ",
   ISBN = "80-85988-26-7",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6561"
}
Nahoru