Some current issues in model checking
- Journal Article
- Software Tools for Technology Transfer
- Volume 8
- Issue 4
- Springer Verlag
- PDF of full publication (182 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.