Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Proceedings
%1 conf/dimacs/1990a
%B CAV (DIMACS/AMS volume)
%D 1991
%E Clarke, Edmund M.
%E Kurshan, Robert P.
%I DIMACS/AMS
%K dblp
%T Computer-Aided Verification, Proceedings of a DIMACS Workshop 1990, New Brunswick, New Jersey, USA, June 18-21, 1990
%U http://dblp.uni-trier.de/db/conf/dimacs/dimacs1990a.html
%V 3
@proceedings{conf/dimacs/1990a,
added-at = {2016-11-28T00:00:00.000+0100},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d008754cab1c4661592de18953f9972d/dblp},
booktitle = {CAV (DIMACS/AMS volume)},
editor = {Clarke, Edmund M. and Kurshan, Robert P.},
ee = {http://dimacs.rutgers.edu/Volumes/Vol03.html},
interhash = {9728effdc5f1977754da9e5e9b16e761},
intrahash = {d008754cab1c4661592de18953f9972d},
keywords = {dblp},
publisher = {DIMACS/AMS},
series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science},
timestamp = {2016-11-29T10:33:39.000+0100},
title = {Computer-Aided Verification, Proceedings of a DIMACS Workshop 1990, New Brunswick, New Jersey, USA, June 18-21, 1990},
url = {http://dblp.uni-trier.de/db/conf/dimacs/dimacs1990a.html},
volume = 3,
year = 1991
}