Fakulta informačních technologií VUT v Brně

Detail publikace

Cut-offs and Automata in Formal Verification of Infinite-State Systems

VOJNAR Tomáš. Cut-offs and Automata in Formal Verification of Infinite-State Systems. FIT Monograph 1. Brno: Fakulta informačních technologií VUT v Brně, 2007. ISBN 978-80-214-3547-6.
Název česky
Řezy a automaty ve formální verifikaci nekonečně stavových systémů
Typ
odborná monografie
Jazyk
angličtina
Autoři
URL
Abstrakt
Tato práce diskutuje využití řezů a automatů ve formální verifikaci nekonečně stavových systémů.
Rok
2007
Strany
189
Řada
FIT Monograph 1
ISBN
978-80-214-3547-6
Vydavatel
Fakulta informačních technologií VUT v Brně
Místo
Brno, CZ
BibTeX
@BOOK{FITPUB8352,
   author = "Tom\'{a}\v{s} Vojnar",
   title = "Cut-offs and Automata in Formal Verification of Infinite-State Systems",
   pages = 189,
   series = "FIT Monograph 1",
   year = 2007,
   location = "Brno, CZ",
   publisher = "Faculty of Information Technology BUT",
   ISBN = "978-80-214-3547-6",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8352"
}
Nahoru