Sciweavers

HYBRID
1992
Springer

Verifying Hybrid Systems

15 years 27 days ago
Verifying Hybrid Systems
Zohar Manna, Amir Pnueli
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1992
Where HYBRID
Authors Zohar Manna, Amir Pnueli
Comments (0)