Computing Publications

Publications Home » Possibilistic and probabilistic a...

Possibilistic and probabilistic abstraction-based model checking

Michael Huth

Conference or Workshop Paper
Process algebra and probabilistic methods. performance modeling and verification: second joint international workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, 25 - 26 July 2002
2002
Volume 2399
pp.115–134
Springer Verlag
ISBN 3-5404-3913-7
PDF of full publication (219 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Copyright notice

Attached PDF file is preliminary version only.

N.B.
Conditions for downloading publications from this site.
 

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