Detail publikace

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

HABERMEHL, P. VOJNAR, T.

Originální název

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

Typ

konferenční sborník (ne článek)

Jazyk

angličtina

Originální abstrakt

The aim of the INFINITY workshop is to provide a forum for researchers interested in the development of formal methods and algorithmic techniques for the analysis of systems with infinitely many states, and their application in automated verification of complex software and hardware systems.

Klíčová slova

workshop, proceedings, verification, infinite-state systems

Autoři

HABERMEHL, P.; VOJNAR, T.

Vydáno

3. 12. 2008

Nakladatel

Faculty of Information Technology BUT

Místo

Toronto

ISBN

978-80-214-3697-8

Strany počet

74

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"
}