José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Luís Soares Barbosa
Latest
A Refinement Relation for Families of Timed Automata
Composing Families of Timed Automata
Cite
×