Inproceedings,
Verifying SystemC: A software model checking approach.
A. Cimatti, A. Micheli, I. Narasamdya, and M. Roveri.FMCAD, page 51-59. IEEE, (2010)
Meta data
- BibTeX key
- conf/fmcad/CimattiMNR10
- entry type
- inproceedings
- booktitle
- FMCAD
- year
- 2010
- pages
- 51-59
- publisher
- IEEE
- crossref
- conf/fmcad/2010
- ee
- http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5770933
- isbn
- 978-0-9835678-0-6
- url
- http://dblp.uni-trier.de/db/conf/fmcad/fmcad2010.html#CimattiMNR10
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/fmcad/CimattiMNR10
%A Cimatti, Alessandro
%A Micheli, Andrea
%A Narasamdya, Iman
%A Roveri, Marco
%B FMCAD
%D 2010
%E Bloem, Roderick
%E Sharygina, Natasha
%I IEEE
%K
%P 51-59
%T Verifying SystemC: A software model checking approach.
%U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2010.html#CimattiMNR10
%@ 978-0-9835678-0-6
@inproceedings{conf/fmcad/CimattiMNR10,
added-at = {2023-12-13T04:44:13.000+0100},
author = {Cimatti, Alessandro and Micheli, Andrea and Narasamdya, Iman and Roveri, Marco},
biburl = {https://www.bibsonomy.org/bibtex/2cade098e3e43d0d2ed83bcb44787409f/admin},
booktitle = {FMCAD},
crossref = {conf/fmcad/2010},
editor = {Bloem, Roderick and Sharygina, Natasha},
ee = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5770933},
interhash = {99af2d734b245f02f46c839932b6f4a3},
intrahash = {cade098e3e43d0d2ed83bcb44787409f},
isbn = {978-0-9835678-0-6},
keywords = {},
pages = {51-59},
publisher = {IEEE},
timestamp = {2023-12-13T04:44:13.000+0100},
title = {Verifying SystemC: A software model checking approach.},
url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2010.html#CimattiMNR10},
year = 2010
}