Talks and Poster Presentations (with Proceedings-Entry):

J. Birgmeier, A. Bradley, G. Weissenbacher:
"Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR)";
Talk: International Conference on Computer Aided Verification (CAV), Wien; 2014-07-18 - 2014-07-22; in: "CAV", Springer / LNCS, 8559 (2014), ISBN: 978-3-319-08866-2; 829 - 846.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Created from the Publication Database of the Vienna University of Technology.