Inproceedings,
Verification: what works and what doesn't.
F. Bacchini, R. Damiano, B. Bentley, K. Baty, K. Normoyle, M. Ishii, and E. Yogev.DAC, page 274. ACM, (2004)
Meta data
- BibTeX key
- conf/dac/BacchiniDBBNIY04
- entry type
- inproceedings
- booktitle
- DAC
- year
- 2004
- pages
- 274
- publisher
- ACM
- crossref
- conf/dac/2004
- ee
- https://doi.org/10.1145/996566.996648
- isbn
- 1-58113-828-8
- url
- http://dblp.uni-trier.de/db/conf/dac/dac2004.html#BacchiniDBBNIY04
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/dac/BacchiniDBBNIY04
%A Bacchini, Francine
%A Damiano, Robert F.
%A Bentley, Bob
%A Baty, Kurt
%A Normoyle, Kevin
%A Ishii, Makoto
%A Yogev, Einat
%B DAC
%D 2004
%E Malik, Sharad
%E Fix, Limor
%E Kahng, Andrew B.
%I ACM
%K dblp
%P 274
%T Verification: what works and what doesn't.
%U http://dblp.uni-trier.de/db/conf/dac/dac2004.html#BacchiniDBBNIY04
%@ 1-58113-828-8
@inproceedings{conf/dac/BacchiniDBBNIY04,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Bacchini, Francine and Damiano, Robert F. and Bentley, Bob and Baty, Kurt and Normoyle, Kevin and Ishii, Makoto and Yogev, Einat},
biburl = {https://www.bibsonomy.org/bibtex/2ba17ef4c9a067a793d37bfb4041a657d/dblp},
booktitle = {DAC},
crossref = {conf/dac/2004},
editor = {Malik, Sharad and Fix, Limor and Kahng, Andrew B.},
ee = {https://doi.org/10.1145/996566.996648},
interhash = {e84f61769eebe5b8cdabe64ba4dad4e8},
intrahash = {ba17ef4c9a067a793d37bfb4041a657d},
isbn = {1-58113-828-8},
keywords = {dblp},
pages = 274,
publisher = {ACM},
timestamp = {2018-11-07T15:12:58.000+0100},
title = {Verification: what works and what doesn't.},
url = {http://dblp.uni-trier.de/db/conf/dac/dac2004.html#BacchiniDBBNIY04},
year = 2004
}