DMCA

Safety verification using barrier certificates (2004)

by Stephen Prajna , Ali Jadbabaie
Venue:In HSCC, volume 2993 of LNCS
Citations:26 - 8 self