Computing Publications

Publications Home » On model checking multiple hybrid views

On model checking multiple hybrid views

Altaf Hussain, Michael Huth

Technical Report
First International Symposium on Leveraging Applications of Formal Methods (ISOLA'04)
2004
University of Cyprus
Notes

Department of Computer Science, University of Cyprus, TR-2004-6

PDF of full publication (274 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.