From Model Checking to Model Measuring (bibtex)
by Thomas A. Henzinger, Jan Otop
Reference:
From Model Checking to Model MeasuringThomas A. Henzinger, Jan OtopCONCUR, pages 273-287, 2013.
Bibtex Entry:
@inproceedings{HenzingerO13,
title = {From Model Checking to Model Measuring},
ee = {http://dx.doi.org/10.1007/978-3-642-40184-8_20},
booktitle = {CONCUR},
author = {Thomas A. Henzinger and Jan Otop},
url = {/pubpdf/From_Model_Checking_to_Model_Measuring.pdf},
year = {2013},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {273-287},
crossref = {DBLP:conf/concur/2013},
}
Powered by bibtexbrowser