Detail publikace

Proceedings of 10th International Workshop on Verification of Infinite-State Systems - INFINITY'08

HABERMEHL Peter a VOJNAR Tomáš, ed. Proceedings of 10th International Workshop on Verification of Infinite-State Systems - INFINITY'08. Toronto: Fakulta informačních technologií VUT v Brně, 2008. ISBN 978-80-214-3697-8.
Název česky
Sborník mezinárodního workshopu Infinity'08
Typ
konferenční sborník
Jazyk
angličtina
Autoři
Habermehl Peter (UPAR7)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Abstrakt

Jedná se o sborník mezinárodního workshopu Infinity'08.

Rok
2008
Strany
74
Konference
INFINITY'08 -- 10th International Workshop on Verification of Infinite-State Systems, Toronto, CA
ISBN
978-80-214-3697-8
Vydavatel
Fakulta informačních technologií VUT v Brně
Místo
Toronto, CA
BibTeX 
@PROCEEDINGS{FITPUB8822,
   editor = "Peter Habermehl and Tom\'{a}\v{s} Vojnar",
   title = "Proceedings of 10th International Workshop on Verification of Infinite-State Systems - INFINITY'08",
   pages = 74,
   year = 2008,
   location = "Toronto, CA",
   publisher = "Faculty of Information Technology BUT",
   ISBN = "978-80-214-3697-8",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8822"
}
Nahoru