@inproceedings{BVSF2013,
 address = {Neuveden},
 author = {Luboš Brim and Tomáš Vejpustek and David Šafránek and Jana Fabriková},
 booktitle = {Proceedings HSB 2013},
 doi = {http://dx.doi.org/10.4204/EPTCS.125},
 howpublished = {elektronická verze "online"},
 keywords = {Signal Temporal Logic; robustness; monitoring; systems biology},
 language = {eng},
 location = {Neuveden},
 pages = {20-36},
 publisher = {Neuveden},
 title = {Robustness Analysis for Value-Freezing Signal Temporal Logic},
 url = {http://arxiv.org/abs/1309.0867v1},
 year = {2013}
}