Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:journals/corr/BrimVSF13
AU - Brim, Lubos
AU - Vejpustek, Tomas
AU - Safránek, David
AU - Fabriková, Jana
TI - Robustness Analysis for Value-Freezing Signal Temporal Logic.
BT - Proceedings Second International Workshop on Hybrid Systems and Biology, HSB 2013, Taormina, Italy, 2nd September 2013.
SP - 20
EP - 36
PY - 2013//
DO - 10.4204/EPTCS.125.2
UR - https://doi.org/10.4204/EPTCS.125.2
UR - http://arxiv.org/abs/1309.0867
ER -
