Concepts, algorithms and tools for model checking /

Bibliographic Details
Main Author: Katoen, Joost-Pieter
Format: Book
Published: Erlangen : IMMD, 1999.
Series:Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung, v. 32, no. 1
Subjects:
Description
Item Description:Lecture Notes of the Course Mechanised Validation of Parallel Systems
Physical Description:292 p. ; 21 cm.
ISSN:0344-3515 ;