Inproceedings,
Verification of parametric system designs.
A. Cimatti, I. Narasamdya, and M. Roveri.FMCAD, page 122-130. IEEE, (2012)
Meta data
- BibTeX key
- conf/fmcad/CimattiNR12
- entry type
- inproceedings
- booktitle
- FMCAD
- year
- 2012
- pages
- 122-130
- publisher
- IEEE
- crossref
- conf/fmcad/2012
- ee
- https://ieeexplore.ieee.org/document/6462564/
- isbn
- 978-1-4673-4832-4
- url
- http://dblp.uni-trier.de/db/conf/fmcad/fmcad2012.html#CimattiNR12
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/fmcad/CimattiNR12
%A Cimatti, Alessandro
%A Narasamdya, Iman
%A Roveri, Marco
%B FMCAD
%D 2012
%E Cabodi, Gianpiero
%E Singh, Satnam
%I IEEE
%K dblp
%P 122-130
%T Verification of parametric system designs.
%U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2012.html#CimattiNR12
%@ 978-1-4673-4832-4
@inproceedings{conf/fmcad/CimattiNR12,
added-at = {2021-08-09T00:00:00.000+0200},
author = {Cimatti, Alessandro and Narasamdya, Iman and Roveri, Marco},
biburl = {https://www.bibsonomy.org/bibtex/2829b446049b8a0844f9beb30e7c4d18f/dblp},
booktitle = {FMCAD},
crossref = {conf/fmcad/2012},
editor = {Cabodi, Gianpiero and Singh, Satnam},
ee = {https://ieeexplore.ieee.org/document/6462564/},
interhash = {ae0d4509fafbe08893f68c00110acc96},
intrahash = {829b446049b8a0844f9beb30e7c4d18f},
isbn = {978-1-4673-4832-4},
keywords = {dblp},
pages = {122-130},
publisher = {IEEE},
timestamp = {2024-04-10T16:53:49.000+0200},
title = {Verification of parametric system designs.},
url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2012.html#CimattiNR12},
year = 2012
}