Computing Publications

Publications Home » On model checking multiple hybrid views

On model checking multiple hybrid views

Altaf Hussain, Michael Huth

Journal Special Issue Article
ISOLA 2004
Theoretical Computer Science
2008
Elsevier
BibTEX file for the publication
 

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