![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Model and Data Engineering Volume 11163 (8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24â26, 2018, Proceedings) || Mechanizing the Denotational Semantics of the Clock Constraint Specification Language
Abdelwahed, El Hassan, Bellatreche, Ladjel, Golfarelli, Mattéo, Méry, Dominique, Ordonez, CarlosVolume:
10.1007/97
Year:
2018
Language:
english
DOI:
10.1007/978-3-030-00856-7_26
File:
PDF, 447 KB
english, 2018