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.