PHAVer: algorithmic verification of hybrid systems past HyTech (2008)

by G Frehse
Venue:Int. J. Softw. Tools Technol. Transf