@inproceedings{DBLP:conf/lop/ClarkeM83,
author = {Edmund M. Clarke and
Bud Mishra},
title = {Automatic Verification of Asynchronous Circuits},
booktitle = {Logic of Programs},
year = {1983},
pages = {101-115},
ee = {http://dx.doi.org/10.1007/3-540-12896-4_358},
crossref = {DBLP:conf/lop/1983},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/lop/1983,
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {Logics of Programs, Workshop, Carnegie Mellon University,
Pittsburgh, PA, USA, June 6-8, 1983, Proceedings},
booktitle = {Logics of Programs},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {164},
year = {1984},
isbn = {3-540-12896-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2005-06-21 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
