2024-03-28T13:10:57Z
https://oai.zbmath.org/v1/
oai:zbmath.org:6814293
2017-12-01T07:37:02Z
93
Bogomolov, Sergiy; Giacobbe, Mirco; Henzinger, Thomas A.; Kong, Hui
2017
6814293
English
https://zbmath.org/06814293
Content generated by zbMATH Open, such as reviews,
classifications, software, or author disambiguation data,
are distributed under CC-BY-SA 4.0. This defines the license for the
whole dataset, which also contains non-copyrighted bibliographic
metadata and reference data derived from I4OC (CC0). Note that the API
only provides a subset of the data in the zbMATH Open Web interface. In
several cases, third-party information, such as abstracts, cannot be
made available under a suitable license through the API. In those cases,
we replaced the data with the string 'zbMATH Open Web Interface contents
unavailable due to conflicting licenses.'
Abate, Alessandro (ed.) et al., Formal modeling and analysis of timed systems. 15th international conference, FORMATS 2017, Berlin, Germany, September 5--7, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10419, 116-132 (2017).
93C30; 93B03
Conic abstractions for hybrid systems
a