Model-checking view-based partial specifications
Michael Huth, Shekhar Pradhan
- Electronic Journal Article
- Electronic Notes in Theoretical Computer Science
- Volume 45
- ISSN 1571-0661
Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 23-26 May 2001, Aarhus, Denmark
- PDF of full publication (350 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.