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/charme/AmlaDKKM05
%A Amla, Nina
%A Du, Xiaoqun
%A Kuehlmann, Andreas
%A Kurshan, Robert P.
%A McMillan, Kenneth L.
%B CHARME
%D 2005
%E Borrione, Dominique
%E Paul, Wolfgang J.
%I Springer
%K dblp
%P 254-268
%T An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment.
%U http://dblp.uni-trier.de/db/conf/charme/charme2005.html#AmlaDKKM05
%V 3725
%@ 3-540-29105-9
@inproceedings{conf/charme/AmlaDKKM05,
added-at = {2018-06-26T00:00:00.000+0200},
author = {Amla, Nina and Du, Xiaoqun and Kuehlmann, Andreas and Kurshan, Robert P. and McMillan, Kenneth L.},
biburl = {https://www.bibsonomy.org/bibtex/2a3b40fe4d4b8d3e5870fde326b070337/dblp},
booktitle = {CHARME},
crossref = {conf/charme/2005},
editor = {Borrione, Dominique and Paul, Wolfgang J.},
ee = {https://doi.org/10.1007/11560548_20},
interhash = {2037e7c16ec8a3b02eafa5c126684c96},
intrahash = {a3b40fe4d4b8d3e5870fde326b070337},
isbn = {3-540-29105-9},
keywords = {dblp},
pages = {254-268},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T19:10:43.000+0200},
title = {An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment.},
url = {http://dblp.uni-trier.de/db/conf/charme/charme2005.html#AmlaDKKM05},
volume = 3725,
year = 2005
}