%0 Conference Paper %1 conf/formats/NickovicM07 %A Nickovic, Dejan %A Maler, Oded %B FORMATS %D 2007 %E Raskin, Jean-François %E Thiagarajan, P. S. %I Springer %K dblp %P 304-319 %T AMT: A Property-Based Monitoring Tool for Analog Systems. %U http://dblp.uni-trier.de/db/conf/formats/formats2007.html#NickovicM07 %V 4763 %@ 978-3-540-75453-4

@inproceedings{conf/formats/NickovicM07, added-at = {2017-05-26T00:00:00.000+0200}, author = {Nickovic, Dejan and Maler, Oded}, biburl = {https://www.bibsonomy.org/bibtex/2a419f1f3a2bd15a4573d5eabf8f7fe69/dblp}, booktitle = {FORMATS}, crossref = {conf/formats/2007}, editor = {Raskin, Jean-François and Thiagarajan, P. S.}, ee = {https://doi.org/10.1007/978-3-540-75454-1_22}, interhash = {1f7b5629709a0a0ec08a858d12dfa132}, intrahash = {a419f1f3a2bd15a4573d5eabf8f7fe69}, isbn = {978-3-540-75453-4}, keywords = {dblp}, pages = {304-319}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:44:26.000+0200}, title = {AMT: A Property-Based Monitoring Tool for Analog Systems.}, url = {http://dblp.uni-trier.de/db/conf/formats/formats2007.html#NickovicM07}, volume = 4763, year = 2007 }