Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR) (bibtex)
by Johannes Birgmeier, Aaron Bradley, Georg Weissenbacher
Reference:
Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR)Johannes Birgmeier, Aaron Bradley, Georg WeissenbacherComputer Aided Verification, volume 8559 of Lecture Notes in Computer Science, pages 829-846, 2014, Springer Berlin Heidelberg.
Bibtex Entry:
@inproceedings{BBW14:CAV,
 year={2014},
 booktitle={Computer Aided Verification},
 volume={8559},
 series={Lecture Notes in Computer Science},
 title={Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR)},
 publisher={Springer Berlin Heidelberg},
 author={Birgmeier, Johannes and Bradley, Aaron and Weissenbacher, Georg},
 pages={829--846}
}
Powered by bibtexbrowser