DMCA

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

by Goran Frehse
Citations:207 - 8 self