Travelled to:1 × Germany
Collaborated with:A.Bergeron
Talks about:reactiv (1) analysi (1) system (1) timer (1)
Person: Riccardo Catalano
DBLP: Catalano:Riccardo
Contributed to:
Wrote 1 papers:
- WIA-1999-BergeronC #analysis
- Analysis of Reactive Systems with n Timers (AB, RC), pp. 27–38.












