2004 |
3 | EE | Ole Lehrmann Madsen,
Peter Andersen,
Mads Brøgger Enevoldsen:
Integration of BETA with Eclipse - An Exercise in Language Interoperability.
Electr. Notes Theor. Comput. Sci. 107: 7-25 (2004) |
2001 |
2 | EE | Michel Beaudouin-Lafon,
Wendy E. Mackay,
Peter Andersen,
Paul Janecek,
Mads Jensen,
Henry Michael Lassen,
Kasper Lund,
Kjeld Høyer Mortensen,
Stephanie Munck,
Anne V. Ratzer,
Katrine Ravn,
Søren Christensen,
Kurt Jensen:
CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets.
ICATPN 2001: 71-80 |
1 | EE | Michel Beaudouin-Lafon,
Wendy E. Mackay,
Mads Jensen,
Peter Andersen,
Paul Janecek,
Henry Michael Lassen,
Kasper Lund,
Kjeld Høyer Mortensen,
Stephanie Munck,
Anne V. Ratzer,
Katrine Ravn,
Søren Christensen,
Kurt Jensen:
CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS.
TACAS 2001: 574-577 |