Temporal Specifications with Accumulative Values (bibtex)
by Udi Boker, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman
Reference:
Temporal Specifications with Accumulative ValuesUdi Boker, Krishnendu Chatterjee, Thomas A. Henzinger, Orna KupfermanLICS, pages 43-52, 2011.
Bibtex Entry:
@inproceedings{BCHK11,
title = {Temporal Specifications with Accumulative Values},
ee = {http://doi.ieeecomputersociety.org/10.1109/LICS.2011.33},
booktitle = {LICS},
author = {Udi Boker and Krishnendu Chatterjee and Thomas A. Henzinger and Orna
Kupferman},
url = {/pubpdf/Temporal_Specifications_with_Accumulative_Values.pdf},
year = {2011},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {43-52},
crossref = {DBLP:conf/lics/2011},
}
Powered by bibtexbrowser