DMCA

Model Checking Polygonal Differential Inclusions Using Invariance Kernels (2004)

by Gordon J. Pace , Gerardo Schneider
Venue:In VMCAI’04, number 2937 in LNCS
Citations:8 - 8 self