Inproceedings,
Formal analysis of hardware requirements.
I. Pill, S. Semprini, R. Cavada, M. Roveri, R. Bloem, and A. Cimatti.DAC, page 821-826. ACM, (2006)
Meta data
- BibTeX key
- conf/dac/PillSCRBC06
- entry type
- inproceedings
- booktitle
- DAC
- year
- 2006
- pages
- 821-826
- publisher
- ACM
- crossref
- conf/dac/2006
- ee
- https://www.wikidata.org/entity/Q62041354
- isbn
- 1-59593-381-6
- url
- http://dblp.uni-trier.de/db/conf/dac/dac2006.html#PillSCRBC06
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/dac/PillSCRBC06
%A Pill, Ingo
%A Semprini, Simone
%A Cavada, Roberto
%A Roveri, Marco
%A Bloem, Roderick
%A Cimatti, Alessandro
%B DAC
%D 2006
%E Sentovich, Ellen
%I ACM
%K dblp
%P 821-826
%T Formal analysis of hardware requirements.
%U http://dblp.uni-trier.de/db/conf/dac/dac2006.html#PillSCRBC06
%@ 1-59593-381-6
@inproceedings{conf/dac/PillSCRBC06,
added-at = {2022-01-03T00:00:00.000+0100},
author = {Pill, Ingo and Semprini, Simone and Cavada, Roberto and Roveri, Marco and Bloem, Roderick and Cimatti, Alessandro},
biburl = {https://www.bibsonomy.org/bibtex/2eb59f231fc77be4119b21a5e45b86b3e/dblp},
booktitle = {DAC},
crossref = {conf/dac/2006},
editor = {Sentovich, Ellen},
ee = {https://www.wikidata.org/entity/Q62041354},
interhash = {4cbd25a9b2623df462f1a7408fef32bc},
intrahash = {eb59f231fc77be4119b21a5e45b86b3e},
isbn = {1-59593-381-6},
keywords = {dblp},
pages = {821-826},
publisher = {ACM},
timestamp = {2024-04-10T06:50:20.000+0200},
title = {Formal analysis of hardware requirements.},
url = {http://dblp.uni-trier.de/db/conf/dac/dac2006.html#PillSCRBC06},
year = 2006
}