![]() |
| 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 |
| 1 | Peter Andersen | [1] [2] |
| 2 | Michel Beaudouin-Lafon | [1] [2] |
| 3 | Søren Christensen | [1] [2] |
| 4 | Paul Janecek | [1] [2] |
| 5 | Kurt Jensen | [1] [2] |
| 6 | Henry Michael Lassen | [1] [2] |
| 7 | Kasper Lund | [1] [2] |
| 8 | Wendy E. Mackay | [1] [2] |
| 9 | Kjeld Høyer Mortensen | [1] [2] |
| 10 | Stephanie Munck | [1] [2] |
| 11 | Anne V. Ratzer | [1] [2] |
| 12 | Katrine Ravn | [1] [2] |