Vienna Verification Tool: IC3 for Parallel Software (bibtex)
by Henning Günther, Alfons Laarman, Georg Weissenbacher
Reference:
Vienna Verification Tool: IC3 for Parallel SoftwareHenning Günther, Alfons Laarman, Georg WeissenbacherTACAS 2016 (Marsha Chechik, Jean-François Raskin, eds.), pages 954-957, 2016, Springer.
Bibtex Entry:
@inproceedings{vvt2016,
author="G{\"u}nther, Henning
and Laarman, Alfons
and Weissenbacher, Georg",
editor="Chechik, Marsha
and Raskin, Jean-Fran{\c{c}}ois",
title="Vienna Verification Tool: IC3 for Parallel Software",
booktitle="TACAS 2016",
year="2016",
series={LNCS},
publisher="Springer",
pages="954--957",
isbn="978-3-662-49674-9",
doi="10.1007/978-3-662-49674-9_69",
url="http://dx.doi.org/10.1007/978-3-662-49674-9_69"
}
Powered by bibtexbrowser