Quantitative abstraction refinement (bibtex)
by Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna
Reference:
Quantitative abstraction refinementPavol Cerný, Thomas A. Henzinger, Arjun RadhakrishnaPOPL, pages 115-128, 2013.
Bibtex Entry:
@inproceedings{POPL-quant,
title = {Quantitative abstraction refinement},
ee = {http://doi.acm.org/10.1145/2429069.2429085},
booktitle = {POPL},
author = {Pavol Cern{\'y} and Thomas A. Henzinger and Arjun Radhakrishna},
url = {/pubpdf/Quantitative_abstraction_refinement.pdf},
year = {2013},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {115-128},
crossref = {DBLP:conf/popl/2013},
}
Powered by bibtexbrowser