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 VUT v Brně, 2006.
Typ
habilitace
Jazyk
angličtina
Autoři
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
Rok
2006
Strany
150
Místo
FIT VUT v Brně, CZ