@inproceedings{TACAS-2001-Beaudouin-LafonMJAJLLMMRRCJ,
	author        = "Michel Beaudouin-Lafon and Wendy E. Mackay and Mads Jensen and Peter Andersen and Paul Janecek and Henry Michael Lassen and Kasper Lund and Kjeld Høyer Mortensen and Stephanie Munck and Anne V. Ratzer and Katrine Ravn and Søren Christensen and Kurt Jensen",
	booktitle     = "{Proceedings of the Seventh International Conference on Tools and Algorithms for the Construction and Analysis of Systems}",
	doi           = "10.1007/3-540-45319-9_39",
	isbn          = "3-540-41865-2",
	pages         = "574--577",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS}",
	volume        = 2031,
	year          = 2001,
}