Possibilistic and probabilistic abstraction-based model checking
- 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
- Volume 2399
- 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.
- Conditions for downloading publications from this site.