%0 Conference Paper %1 conf/formats/HavlicekLMN10 %A Havlicek, John %A Little, Scott %A Maler, Oded %A Nickovic, Dejan %B FORMATS %D 2010 %E Chatterjee, Krishnendu %E Henzinger, Thomas A. %I Springer %K dblp %P 23-24 %T Property-Based Monitoring of Analog and Mixed-Signal Systems. %U http://dblp.uni-trier.de/db/conf/formats/formats2010.html#HavlicekLMN10 %V 6246 %@ 978-3-642-15296-2

@inproceedings{conf/formats/HavlicekLMN10, added-at = {2017-05-26T00:00:00.000+0200}, author = {Havlicek, John and Little, Scott and Maler, Oded and Nickovic, Dejan}, biburl = {https://www.bibsonomy.org/bibtex/29eab1525aa393c15361ccae8dcad6764/dblp}, booktitle = {FORMATS}, crossref = {conf/formats/2010}, editor = {Chatterjee, Krishnendu and Henzinger, Thomas A.}, ee = {https://doi.org/10.1007/978-3-642-15297-9_3}, interhash = {c7dcc1f4c9ea0669744bb34a3ec81f73}, intrahash = {9eab1525aa393c15361ccae8dcad6764}, isbn = {978-3-642-15296-2}, keywords = {dblp}, pages = {23-24}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:44:39.000+0200}, title = {Property-Based Monitoring of Analog and Mixed-Signal Systems.}, url = {http://dblp.uni-trier.de/db/conf/formats/formats2010.html#HavlicekLMN10}, volume = 6246, year = 2010 }