--- res: bibo_doi: 10.1007/BFb0020931 bibo_volume: 1066 dct_date: 1996^xs_gYear dct_isPartOf: - http://id.crossref.org/issn/0302-9743 - http://id.crossref.org/issn/978-3-540-61155-4 dct_language: eng dct_publisher: Springer@ dct_title: 'Hybrid Systems III: Verification and Control@' ...