dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Stephanie Munck Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2001
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel 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

Coauthor Index

1Peter Andersen [1] [2]
2Michel Beaudouin-Lafon [1] [2]
3Søren Christensen [1] [2]
4Paul Janecek [1] [2]
5Kurt Jensen [1] [2]
6Mads Jensen [1] [2]
7Henry Michael Lassen [1] [2]
8Kasper Lund [1] [2]
9Wendy E. Mackay [1] [2]
10Kjeld Høyer Mortensen [1] [2]
11Anne V. Ratzer [1] [2]
12Katrine Ravn [1] [2]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page