Searching for authors named "Katrine Ravn" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

A Tool for Editing and Simulating Coloured Petri Nets
by Michel Beaudouin-lafon, Wendy E. Mackay, Mads Jensen, Peter Andersen, Paul Janecek, Michael Lassen, Kasper Lund, Kjeld Mortensen, Stephanie Munck, Anne Ratzer, Katrine Ravn, Søren Christensen, Kurt Jensen — 2001 — In ETAPS 2001, volume 2031 of LNCS
…, Kasper Lund, Kjeld Mortensen, Stephanie Munck, Anne Ratzer, Katrine Ravn, Søren Christensen, and Kurt…
Cited by 4 (0 self) – Add To MetaCart

CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets
by Michel Beaudouin-lafon, Wendy E. Mackay, Peter Andersen, Paul Janecek, Mads Jensen, Michael Lassen, Kasper Lund, Kjeld Mortensen, Stephanie Munck, Anne Ratzer, Katrine Ravn, Søren Christensen, Kurt Jensen — 2001 — Coloured Petri Nets, Application and Theory of Petri Nets 2001, Proceedings of the 22nd International Conference, ICATPN 2001 Newcastle upon Tyne
…, Stephanie Munck, Anne Ratzer, Katrine Ravn, Søren Christensen and Kurt Jensen Department of Computer Science…
Cited by 6 (0 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB