Sciweavers

TABLEAUX
2007
Springer

Differential Dynamic Logic for Verifying Parametric Hybrid Systems

14 years 6 months ago
Differential Dynamic Logic for Verifying Parametric Hybrid Systems
André Platzer
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where TABLEAUX
Authors André Platzer
Comments (0)