Computing Publications

Publications Home » The Interval Domain: A Matchmaker...

The Interval Domain: A Matchmaker for aCTL and aPCTL

Michael Huth

Electronic Journal Article
US - Brazil Joint Workshops on the Formal Foundations of Software Systems
Electronic Notes in Theoretical Computer Science
Volume 14
pp.134–148
1998
Elsevier
BibTEX file for the publication
 

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