Publications Home » The Interval Domain: A Matchmaker...
The Interval Domain: A Matchmaker for aCTL and aPCTL
- 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.