What Will Be Eventually True of Polynomial Hybrid Automata (2001)

by M Franzle
Venue:In Theoretical Aspects of Computer Software, LNCS 2215