On model checking multiple hybrid views
Altaf Hussain, Michael Huth
- Technical Report
- First International Symposium on Leveraging Applications of Formal Methods (ISOLA'04)
- University of Cyprus
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.
- Conditions for downloading publications from this site.