Dynamic Reactive Modules (bibtex)
by Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi
Reference:
Dynamic Reactive ModulesJasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. VardiCONCUR, pages 404-418, 2011.
Bibtex Entry:
@inproceedings{FHNPSV11,
title = {Dynamic Reactive Modules},
ee = {http://dx.doi.org/10.1007/978-3-642-23217-6_27},
booktitle = {CONCUR},
author = {Jasmin Fisher and Thomas A. Henzinger and Dejan Nickovic and Nir
Piterman and Anmol V. Singh and Moshe Y. Vardi},
url = {/pubpdf/Dynamic_Reactive_Modules.pdf},
year = {2011},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {404-418},
crossref = {DBLP:conf/concur/2011},
}
Powered by bibtexbrowser