QUASY: Quantitative Synthesis Tool (bibtex)
by Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh
Reference:
QUASY: Quantitative Synthesis ToolKrishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit SinghTACAS, pages 267-271, 2011.
Bibtex Entry:
@inproceedings{CHJS11a,
title = {QUASY: Quantitative Synthesis Tool},
ee = {http://dx.doi.org/10.1007/978-3-642-19835-9_24},
booktitle = {TACAS},
author = {Krishnendu Chatterjee and Thomas A. Henzinger and Barbara Jobstmann
and Rohit Singh},
url = {/pubpdf/QUASY__Quantitative_Synthesis_Tool.pdf},
year = {2011},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {267-271},
crossref = {DBLP:conf/tacas/2011},
}
Powered by bibtexbrowser