Travelled to:
1 × Singapore
Collaborated with:
J.Rinast S.Schupp
Talks about:
transform (1) uppaal (1) reduct (1) faster (1) state (1) reach (1) graph (1) base (1)
Person: Dieter Gollmann
DBLP: Gollmann:Dieter
Contributed to:
Wrote 1 papers:
- FM-2014-RinastSG #graph #performance #reduction
- A Graph-Based Transformation Reduction to Reach UPPAAL States Faster (JR, SS, DG), pp. 547–562.