scientific article; zbMATH DE number 1429792
From MaRDI portal
Publication:4948548
DOI10.1076/1387-3954(200003)6:1;1-Q;FT051zbMath0938.93569MaRDI QIDQ4948548
Stefan Kowalewski, Sebastian Engell, Olaf Stursberg
Publication date: 21 June 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
Control of quantized systems based on discrete event models ⋮ Analyzing Oscillatory Behavior with Formal Methods ⋮ Approximating Continuous Systems by Timed Automata ⋮ Detecting synchronisation of biological oscillators by model checking ⋮ GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS
This page was built for publication:
