Algorithmic analysis of array-accessing programs (bibtex)
by Rajeev Alur, Pavol Cerný, Scott Weinstein
Reference:
Algorithmic analysis of array-accessing programsRajeev Alur, Pavol Cerný, Scott WeinsteinACM Trans. Comput. Log., volume 13, number 3, pages 27, 2012.
Bibtex Entry:
@article{TOCL,
title = {Algorithmic analysis of array-accessing programs},
ee = {http://doi.acm.org/10.1145/2287718.2287727},
journal = {ACM Trans. Comput. Log.},
author = {Rajeev Alur and Pavol Cern{\'y} and Scott Weinstein},
number = {3},
volume = {13},
url = {/pubpdf/Csl09___.pdf},
year = {2012},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {27},
}
Powered by bibtexbrowser