Model checking modal transition systems using Kripke structures
- Conference or Workshop Paper
- Verification, model checking, and abstract interpretation: 3rd international workshop, VMCAI 2002, Venice, Italy, 21 - 22 January 2002
- Lecture Notes in Computer Science
- Volume 2294
- Springer Verlag
- ISBN 3-5404-3631-6
- PDF of full publication (249 kilobytes)
- (need help viewing PDF files?)
- BibTEX file for the publication
- Copyright notice
Attached PDF document is preliminary version only.
- Conditions for downloading publications from this site.