Skip to content

Recent Advances in Verification and Analysis of Hybrid Systems.

Janan Zaytoon

VenueCICINCO
Year2009
ProceedingsICINCO-ICSO

Browse the full ICINCO paper archive.