2000
Global Service Control for Multi-media Networks.
[DOI]
Tanja de Groot
,
Robert Mathonet
,
David Stevenson
Proceedings of the Next Generation Networks, 2000

1993
Process Instances in LOTOS Simulation.
[DOI]
Simon Pickin
,
Yan Yang
,
Wiet Bouma
,
Sylvie Simon
,
Tanja de Groot
Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993