Concepts, Algorithms, and Tools for Model Checking

Research output: Contribution to journal › Article › Academic

Original language	Undefined
Pages (from-to)	-
Number of pages	292
Journal	Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung
Volume	Band
Issue number	1
Publication status	Published - 1999

Cite this

@article{bd95678c01ba4727a4f512da7d74b1be,

title = "Concepts, Algorithms, and Tools for Model Checking",

keywords = "METIS-118686",

author = "Katoen, {Joost P.}",

year = "1999",

language = "Undefined",

volume = "Band",

pages = "--",

journal = "Arbeitsberichte des Instituts f{\"u}r Mathematische Maschinen und Datenverarbeitung",

issn = "0344-3515",

publisher = "University of Erlangen",

number = "1",

}