Conditional Reactive Systems
Reference
H.J. Sander Bruggink, Raphaël Cauderlier, Barbara König, and Mathias Hülsbusch. Conditional reactive systems. In Proc. of FSTTCS '11, volume 13 of LIPIcs. Schloss Dagstuhl – Leibniz Center for Informatics, 2011.
Suggested BibTeX entry:
@inproceedings{BCHK11,
author = {H.J. Sander Bruggink and Rapha{\"e}l Cauderlier and Barbara K{\"o}nig and Mathias H{\"u}lsbusch},
booktitle = {Proc. of FSTTCS~'11},
publisher = {Schloss Dagstuhl -- Leibniz Center for Informatics},
series = {{LIPIcs}},
title = {Conditional Reactive Systems},
volume = {13},
year = {2011}
}
