DMCA

The discrete time behavior of lazy linear hybrid automata (2005)

by Manindra Agrawal , P. S. Thiagarajan
Venue:HSCC 2005. LNCS
Citations:9 - 0 self