Differential Dynamic Logic for Hybrid Systems (2007)

by André Platzer
Citations:47 - 34 self