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 | Mads Jensen | [1] [2] |
7 | Henry Michael Lassen | [1] [2] |
8 | Kasper Lund | [1] [2] |
9 | Wendy E. Mackay | [1] [2] |
10 | Kjeld Høyer Mortensen | [1] [2] |
11 | Stephanie Munck | [1] [2] |
12 | Anne V. Ratzer | [1] [2] |