Travelled to:
1 × United Kingdom
Collaborated with:
G.Gardey D.Lime O.H.Roux
Talks about:
analyz (1) romeo (1) petri (1) tool (1) time (1) net (1)
Person: Morgan Magnin
DBLP: Magnin:Morgan
Contributed to:
Wrote 1 papers:
- CAV-2005-GardeyLMR #named #petri net
- Romeo: A Tool for Analyzing Time Petri Nets (GG, DL, MM, OHR), pp. 418–423.