PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech.

Goran Frehse PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech. 258-273 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3414&spage=258 2005 conf/hybrid/2005 HSCC db/conf/hybrid/hscc2005.html#Frehse05