Computing Publications

Publications Home » Model-checking view-based partial...

Model-checking view-based partial specifications

Michael Huth, Shekhar Pradhan

Electronic Journal Article
Electronic Notes in Theoretical Computer Science
Volume 45
pp.1–23
2001
Elsevier
ISSN 1571-0661
Notes

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.

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

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