scientific article; zbMATH DE number 1429793
From MaRDI portal
Publication:4948549
DOI10.1076/1387-3954(200003)6:1;1-Q;FT071zbMath0938.93568MaRDI QIDQ4948549
Publication date: 21 June 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice ⋮ Denotational semantics of hybrid automata ⋮ Automated Reasoning for Hybrid Systems — Two Case Studies — ⋮ SMT-based scenario verification for hybrid systems
This page was built for publication:
