Modular Design of Reactive Systems.

Cristina Cerschi Seceleanu, Tiberiu Seceleanu

Browse the full COMPSAC paper archive.