@inproceedings{DBLP:conf/isola/HoosierHRD04,
author = {Matthew Hoosier and
John Hatcliff and
Robby and
Matthew B. Dwyer},
title = {A Case Study in Domain-customized Model Checking for Real-time
Component Software},
booktitle = {ISoLA (Preliminary proceedings)},
year = {2004},
pages = {261-267},
crossref = {DBLP:conf/isola/2004i},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/isola/2004i,
editor = {Tiziana Margaria and
Bernhard Steffen and
Anna Philippou and
Manfred Reitenspie{\ss}},
title = {International Symposium on Leveraging Applications of Formal
Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos,
Cyprus. Preliminary proceedings},
booktitle = {ISoLA (Preliminary proceedings)},
publisher = {Department of Computer Science, University of Cyprus},
series = {Technical Report},
volume = {TR-2004-6},
year = {2004},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2004-12-13 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
