Search the dblp DataBase

Publications of Author

1. Anne V. Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen, Jacob Frank Qvortrup, Martin Stig Stissing, Michael Westergaard, Søren Christensen, Kurt Jensen
   CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2003, pp:450-462 [Conf]
   
2. Michael Westergaard, Kristian Bisgaard Lassen
   The BRITNeY Suite Animation Tool. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2006, pp:431-440 [Conf]
   
3. Lars Michael Kristensen, Michael Westergaard, Peder Christian Nørgaard
   Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks. [Citation Graph (0, 0)][DBLP]
   IFM, 2005, pp:266-286 [Conf]
   
4. Thomas Mailund, Michael Westergaard
   Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method. [Citation Graph (0, 0)][DBLP]
   TACAS, 2004, pp:177-191 [Conf]
   
5. Michael Westergaard, Lars Michael Kristensen, Gerth Stølting Brodal, Lars Arge
   The ComBack Method - Extending Hash Compaction with Backtracking. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2007, pp:445-464 [Conf]
   
6. 
   The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator. [Citation Graph (, )][DBLP]
   
   
7. 
   ASAP: An Extensible Platform for State Space Analysis. [Citation Graph (, )][DBLP]
   
   
8. 
   Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept. [Citation Graph (, )][DBLP]
   
   
9. 
   A Game-theoretic Approach to Behavioural Visualisation. [Citation Graph (, )][DBLP]