Computing Publications

Publications Home » On finite-state approximants for ...

On finite-state approximants for probabilistic computation tree logic

Michael Huth

Journal Article
s
Theoretical Computer Science
Volume 346
Issue 1
pp.113–134
2005
Elsevier Science Bv
ISSN 0304-3975
BibTEX file for the publication
Copyright notice

Attached PDF document is preliminary version only.

 

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