Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/cav/KimJRSPKS08
%A Kim, Hyondeuk
%A Jin, HoonSang
%A Ravi, Kavita
%A Spacek, Petr
%A Pierce, John
%A Kurshan, Robert P.
%A Somenzi, Fabio
%B CAV
%D 2008
%E Gupta, Aarti
%E Malik, Sharad
%I Springer
%K dblp
%P 487-490
%T Application of Formal Word-Level Analysis to Constrained Random Simulation.
%U http://dblp.uni-trier.de/db/conf/cav/cav2008.html#KimJRSPKS08
%V 5123
%@ 978-3-540-70543-7
@inproceedings{conf/cav/KimJRSPKS08,
added-at = {2018-10-03T00:00:00.000+0200},
author = {Kim, Hyondeuk and Jin, HoonSang and Ravi, Kavita and Spacek, Petr and Pierce, John and Kurshan, Robert P. and Somenzi, Fabio},
biburl = {https://www.bibsonomy.org/bibtex/2b621ba5d81a534ee158e32b51ac4e81e/dblp},
booktitle = {CAV},
crossref = {conf/cav/2008},
editor = {Gupta, Aarti and Malik, Sharad},
ee = {https://doi.org/10.1007/978-3-540-70545-1_46},
interhash = {9225bf66db2983dd8a1a86cac48c3e89},
intrahash = {b621ba5d81a534ee158e32b51ac4e81e},
isbn = {978-3-540-70543-7},
keywords = {dblp},
pages = {487-490},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T10:16:38.000+0200},
title = {Application of Formal Word-Level Analysis to Constrained Random Simulation.},
url = {http://dblp.uni-trier.de/db/conf/cav/cav2008.html#KimJRSPKS08},
volume = 5123,
year = 2008
}