Detail publikace

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

HABERMEHL, P.; VOJNAR, T. Proceedings of 10th International Workshop on Verification of Infinite-State Systems - INFINITY'08. Toronto: Faculty of Information Technology BUT, 2008. p. 0-0. ISBN: 978-80-214-3697-8.
Název česky
Sborník mezinárodního workshopu Infinity'08
Typ
konferenční sborník (ne článek)
Jazyk
anglicky
Autoři
Habermehl Peter
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Klíčová slova

workshop, proceedings, verification, infinite-state systems

Abstrakt

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

Rok
2008
Strany
74
Konference
INFINITY'08 -- 10. Mezinárodní workshop zaměřený na verifikaci nekonečně stavových systémů, Toronto, CA
ISBN
978-80-214-3697-8
Vydavatel
Faculty of Information Technology BUT
Místo
Toronto
BibTeX 
@proceedings{BUT65311,
  editor="Peter {Habermehl} and Tomáš {Vojnar}",
  title="Proceedings of 10th International Workshop on Verification of Infinite-State Systems - INFINITY'08",
  year="2008",
  pages="74",
  publisher="Faculty of Information Technology BUT",
  address="Toronto",
  isbn="978-80-214-3697-8"
}
Nahoru