%0 Book Section %1 series/lncs/BartocciDDFMNS18 %A Bartocci, Ezio %A Deshmukh, Jyotirmoy V. %A Donzé, Alexandre %A Fainekos, Georgios E. %A Maler, Oded %A Nickovic, Dejan %A Sankaranarayanan, Sriram %B Lectures on Runtime Verification %D 2018 %E Bartocci, Ezio %E Falcone, Yliès %I Springer %K dblp %P 135-175 %T Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications. %U http://dblp.uni-trier.de/db/series/lncs/lncs10457.html#BartocciDDFMNS18 %V 10457 %@ 978-3-319-75632-5

@incollection{series/lncs/BartocciDDFMNS18, added-at = {2019-09-06T00:00:00.000+0200}, author = {Bartocci, Ezio and Deshmukh, Jyotirmoy V. and Donzé, Alexandre and Fainekos, Georgios E. and Maler, Oded and Nickovic, Dejan and Sankaranarayanan, Sriram}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2cd77db7f1f90bee4795dec4f84f6663b/dblp}, booktitle = {Lectures on Runtime Verification}, crossref = {series/lncs/10457}, editor = {Bartocci, Ezio and Falcone, Yliès}, ee = {https://doi.org/10.1007/978-3-319-75632-5_5}, interhash = {1bb8acad4d2acb92c022946d60b1dd7e}, intrahash = {cd77db7f1f90bee4795dec4f84f6663b}, isbn = {978-3-319-75632-5}, keywords = {dblp}, pages = {135-175}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T12:19:28.000+0200}, title = {Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications.}, url = {http://dblp.uni-trier.de/db/series/lncs/lncs10457.html#BartocciDDFMNS18}, volume = 10457, year = 2018 }