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

Katrine Ravn

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2001
2EEMichel 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
1EEMichel 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]
11Stephanie Munck [1] [2]
12Anne V. Ratzer [1] [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)