Detail publikace

Towards Applying Mona in Abstract Regular Tree Model Checking

ROGALEWICZ Adam. Towards Applying Mona in Abstract Regular Tree Model Checking. In: Proceedings of the 11th Conference Student EEICT 2005. Volume 3. Brno: Fakulta informačních technologií VUT v Brně, 2005, s. 663-667. ISBN 80-214-2890-2.
Název česky
Cesta k použití Mony pro abstract regular tree model checking
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
Abstrakt

Článek zkoumá možnosti použití knihovny pro praci s guided tree automaty (součást projektu Mona) pro implementaci techniky abstract regular tree model checking.

Rok
2005
Strany
663-667
Sborník
Proceedings of the 11th Conference Student EEICT 2005
Řada
Volume 3
Konference
STUDENT EEICT 2005, Brno, CZ
ISBN
80-214-2890-2
Vydavatel
Fakulta informačních technologií VUT v Brně
Místo
Brno, CZ
BibTeX 
@INPROCEEDINGS{FITPUB7793,
   author = "Adam Rogalewicz",
   title = "Towards Applying Mona in Abstract Regular Tree Model Checking",
   pages = "663--667",
   booktitle = "Proceedings of the 11th Conference Student EEICT 2005",
   series = "Volume 3",
   year = 2005,
   location = "Brno, CZ",
   publisher = "Faculty of Information Technology BUT",
   ISBN = "80-214-2890-2",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7793"
}
Nahoru