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/BarnatBHHKLRSW13
%A Barnat, Jiri
%A Brim, Lubos
%A Havel, Vojtech
%A Havlícek, Jan
%A Kriho, Jan
%A Lenco, Milan
%A Rockai, Petr
%A Still, Vladimír
%A Weiser, Jirí
%B CAV
%D 2013
%E Sharygina, Natasha
%E Veith, Helmut
%I Springer
%K dblp
%P 863-868
%T DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs.
%U http://dblp.uni-trier.de/db/conf/cav/cav2013.html#BarnatBHHKLRSW13
%V 8044
%@ 978-3-642-39798-1
@inproceedings{conf/cav/BarnatBHHKLRSW13,
added-at = {2022-10-02T00:00:00.000+0200},
author = {Barnat, Jiri and Brim, Lubos and Havel, Vojtech and Havlícek, Jan and Kriho, Jan and Lenco, Milan and Rockai, Petr and Still, Vladimír and Weiser, Jirí},
biburl = {https://www.bibsonomy.org/bibtex/26509d34f2b695247fdd4abdddff8926b/dblp},
booktitle = {CAV},
crossref = {conf/cav/2013},
editor = {Sharygina, Natasha and Veith, Helmut},
ee = {https://doi.org/10.1007/978-3-642-39799-8_60},
interhash = {2a23569fd73edfe8f78e8a6226f0bb96},
intrahash = {6509d34f2b695247fdd4abdddff8926b},
isbn = {978-3-642-39798-1},
keywords = {dblp},
pages = {863-868},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T10:16:47.000+0200},
title = {DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs.},
url = {http://dblp.uni-trier.de/db/conf/cav/cav2013.html#BarnatBHHKLRSW13},
volume = 8044,
year = 2013
}