2024-03-29T14:26:13Z
https://oai.zbmath.org/v1/
oai:zbmath.org:6957831
2018-10-17T15:44:44Z
68
90
93
Cong, Xuya; Fanti, Maria Pia; Mangini, Agostino Marcello; Li, Zhiwu
2018
6957831
English
Elsevier (Pergamon), Oxford
https://zbmath.org/06957831
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.'
Automatica 94, 205-213 (2018).
93B07; 93C65; 68Q85; 93A14; 90C10; 93-04
On-line verification of current-state opacity by Petri nets and integer linear programming
j