scientific article; zbMATH DE number 1455625
From MaRDI portal
Publication:4485146
zbMath0956.68027MaRDI QIDQ4485146
Marta Kwiatkowska, Christel Baier
Publication date: 5 June 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Deadness and how to disprove liveness in hybrid dynamical systems ⋮ A hierarchical and modular control architecture for sequential behaviours
This page was built for publication:
