Formal feature analysis of hybrid automata.

Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Goran Frehse

Browse the full MEMOCODE paper archive.