Denotational Semantics of Hybrid Automata.

Abbas Edalat, Dirk Pattinson

Browse the full FOSSACS paper archive.