Jyotirmoy V. Deshmukh, Oded Maler, Dejan Nickovic. Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071). Dagstuhl Reports, 9(2):48-72, 2019. [doi]
@article{DeshmukhMN19,
title = {Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071)},
author = {Jyotirmoy V. Deshmukh and Oded Maler and Dejan Nickovic},
year = {2019},
doi = {10.4230/DagRep.9.2.48},
url = {https://doi.org/10.4230/DagRep.9.2.48},
researchr = {https://researchr.org/publication/DeshmukhMN19},
cites = {0},
citedby = {0},
journal = {Dagstuhl Reports},
volume = {9},
number = {2},
pages = {48-72},
}