Structural Counter Abstraction (bibtex)
by Kshitij Bansal, Eric Koskinen, Thomas Wies, Damien Zufferey
Reference:
Structural Counter AbstractionKshitij Bansal, Eric Koskinen, Thomas Wies, Damien ZuffereyTACAS, pages 62-77, 2013.
Bibtex Entry:
@inproceedings{TACAS,
title = {Structural Counter Abstraction},
ee = {http://dx.doi.org/10.1007/978-3-642-36742-7_5},
booktitle = {TACAS},
author = {Kshitij Bansal and Eric Koskinen and Thomas Wies and Damien Zufferey},
url = {/pubpdf/Structural_Counter_Abstraction.pdf},
year = {2013},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {62-77},
crossref = {DBLP:conf/tacas/2013},
}
Powered by bibtexbrowser