Inproceedings,
Dynamic guiding of bounded property checking.
P. Peranandam, R. Weiss, J. Ruf, T. Kropf, and W. Rosenstiel.HLDVT, page 15-18. IEEE Computer Society, (2004)
Meta data
- BibTeX key
- conf/hldvt/PeranandamWRKR04
- entry type
- inproceedings
- booktitle
- HLDVT
- year
- 2004
- pages
- 15-18
- publisher
- IEEE Computer Society
- crossref
- conf/hldvt/2004
- ee
- http://doi.ieeecomputersociety.org/10.1109/HLDVT.2004.1431223
- isbn
- 0-7803-8714-7
- url
- http://dblp.uni-trier.de/db/conf/hldvt/hldvt2004.html#PeranandamWRKR04
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/hldvt/PeranandamWRKR04
%A Peranandam, Prakash Mohan
%A Weiss, Roland J.
%A Ruf, Jürgen
%A Kropf, Thomas
%A Rosenstiel, Wolfgang
%B HLDVT
%D 2004
%I IEEE Computer Society
%K
%P 15-18
%T Dynamic guiding of bounded property checking.
%U http://dblp.uni-trier.de/db/conf/hldvt/hldvt2004.html#PeranandamWRKR04
%@ 0-7803-8714-7
@inproceedings{conf/hldvt/PeranandamWRKR04,
added-at = {2023-12-12T19:33:36.000+0100},
author = {Peranandam, Prakash Mohan and Weiss, Roland J. and Ruf, Jürgen and Kropf, Thomas and Rosenstiel, Wolfgang},
biburl = {https://www.bibsonomy.org/bibtex/28d9e7631d5e5fba4448cda81f53c581d/admin},
booktitle = {HLDVT},
crossref = {conf/hldvt/2004},
ee = {http://doi.ieeecomputersociety.org/10.1109/HLDVT.2004.1431223},
interhash = {2291ad3997a8c41590f2ce412bd621cb},
intrahash = {8d9e7631d5e5fba4448cda81f53c581d},
isbn = {0-7803-8714-7},
keywords = {},
pages = {15-18},
publisher = {IEEE Computer Society},
timestamp = {2023-12-12T19:33:36.000+0100},
title = {Dynamic guiding of bounded property checking.},
url = {http://dblp.uni-trier.de/db/conf/hldvt/hldvt2004.html#PeranandamWRKR04},
year = 2004
}