Computing Publications

Publications Home » Quantitative Analysis and Model C...

Quantitative Analysis and Model Checking

Michael Huth, Marta Z. Kwiatkowska

Conference or Workshop Paper
12th International IEEE Symposium on Logic in Computer Science
IEEE Annual Symposium on Logic in Computer Science
pp.111–122
June, 1997
IEEE Computer Society Press
BibTEX file for the publication
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.