%0 Conference Paper %1 conf/formats/FerrereMN19 %A Ferrère, Thomas %A Maler, Oded %A Nickovic, Dejan %B FORMATS %D 2019 %E André, Étienne %E Stoelinga, Mariëlle %I Springer %K dblp %P 59-75 %T Mixed-Time Signal Temporal Logic. %U http://dblp.uni-trier.de/db/conf/formats/formats2019.html#FerrereMN19 %V 11750 %@ 978-3-030-29662-9

@inproceedings{conf/formats/FerrereMN19, added-at = {2019-08-20T00:00:00.000+0200}, author = {Ferrère, Thomas and Maler, Oded and Nickovic, Dejan}, biburl = {https://www.bibsonomy.org/bibtex/2637c6adbe4c890ee7223ba62dff83c01/dblp}, booktitle = {FORMATS}, crossref = {conf/formats/2019}, editor = {André, Étienne and Stoelinga, Mariëlle}, ee = {https://doi.org/10.1007/978-3-030-29662-9_4}, interhash = {f115583665ee9b948ddcc052ff5a0305}, intrahash = {637c6adbe4c890ee7223ba62dff83c01}, isbn = {978-3-030-29662-9}, keywords = {dblp}, pages = {59-75}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-21T11:44:41.000+0200}, title = {Mixed-Time Signal Temporal Logic.}, url = {http://dblp.uni-trier.de/db/conf/formats/formats2019.html#FerrereMN19}, volume = 11750, year = 2019 }