@book{11852, author = {Katoen, Joost-Pieter.}, title = {Concepts, algorithms and tools for model checking /}, publisher = {IMMD,}, year = {1999.}, series = {Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung, }, address = {Erlangen : }, note = {Lecture Notes of the Course Mechanised Validation of Parallel Systems} }