[Lecture Notes in Computer Science] 25 Years of Model Checking Volume 5000 || From Church and Prior to PSL
Grumberg, Orna, Veith, HelmutVolume:
10.1007/97
Year:
2008
Language:
english
DOI:
10.1007/978-3-540-69850-0_10
File:
PDF, 516 KB
english, 2008