Detail publikačního výsledku

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

Anglický název

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

Druh

Konferenční sborník (ne stať)

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.

Anglický 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

Klíčová slova v angličtině

workshop, proceedings, verification, infinite-state systems

Autoři

HABERMEHL, P.; VOJNAR, T.

Vydáno

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