Citation Impact
Citing Papers
Logics for hybrid systems
2000
Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results
2009 Standout
Works of Igor Walukiewicz being referenced
A Note on the Completeness of Kozen's Axiomatisation of the Propositional μ-Calculus
1996