PHAVer: Algorithmic verification of hybrid systems past HyTech (2005)

by G Frehse
Venue:Hybrid Systems: Computation and Control, 8th International Workshop. Volume 3414 of Lecture Notes in Computer Science