Rodolfo Ripado

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler
SpaceEx: Scalable Verification of Hybrid Systems. CAV (2011)