%0 Journal Article %1 journals/dagstuhl-reports/DeshmukhMN19 %A Deshmukh, Jyotirmoy V. %A Maler, Oded %A Nickovic, Dejan %D 2019 %J Dagstuhl Reports %K dblp %N 2 %P 48-72 %T Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071). %U http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports9.html#DeshmukhMN19 %V 9

@article{journals/dagstuhl-reports/DeshmukhMN19, added-at = {2019-07-16T00:00:00.000+0200}, author = {Deshmukh, Jyotirmoy V. and Maler, Oded and Nickovic, Dejan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24511466cbc6e388b33a4205d1e851e74/dblp}, ee = {https://doi.org/10.4230/DagRep.9.2.48}, interhash = {cc5ae523b6cb2d98bd7581c575e1b196}, intrahash = {4511466cbc6e388b33a4205d1e851e74}, journal = {Dagstuhl Reports}, keywords = {dblp}, number = 2, pages = {48-72}, timestamp = {2019-09-27T06:59:33.000+0200}, title = {Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071).}, url = {http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports9.html#DeshmukhMN19}, volume = 9, year = 2019 }