Konferenční sborník

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.
Jazyk publikace:angličtina
Název publikace:Proceedings of 10th International Workshop on Verification of Infinite-State Systems - INFINITY'08
Název (cs):Sborník mezinárodního workshopu Infinity'08
Strany:74
Konference:INFINITY'08 -- 10th International Workshop on Verification of Infinite-State Systems
Místo vydání:Toronto, CA
Rok:2008
ISBN:978-80-214-3697-8
Vydavatel:Fakulta informačních technologií VUT v Brně
Klíčová slova
workshop, proceedings, verification, infinite-state systems
Anotace
Jedná se o sborník mezinárodního workshopu Infinity'08.
BibTeX:
@PROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.cs.iso-8859-2?id=8822}
}

Vaše IPv4 adresa: 54.81.150.27
Přepnout na IPv6 spojení

DNSSEC [dnssec]