Differential Dynamic Logic for Hybrid Systems (2007)

by André Platzer
Citations:41 - 30 self