Hybrid Automata as Coalgebras.

Renato Neves, Lus Soares Barbosa

Browse the full ICTAC paper archive.