DBLP Record 'conf/tacas/Beaudouin-LafonMJAJLLMMRRCJ01'

BibTeX

@inproceedings{DBLP:conf/tacas/Beaudouin-LafonMJAJLLMMRRCJ01,
  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{\o}yer Mortensen and
               Stephanie Munck and
               Anne V. Ratzer and
               Katrine Ravn and
               S{\o}ren Christensen and
               Kurt Jensen},
  title     = {CPN/Tools: A Tool for Editing and Simulating Coloured Petri
               Nets ETAPS Tool Demonstration Related to TACAS},
  booktitle = {TACAS},
  year      = {2001},
  pages     = {574-577},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2031/20310574.htm},
  crossref  = {DBLP:conf/tacas/2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/tacas/2001,
  editor    = {Tiziana Margaria and
               Wang Yi},
  title     = {Tools and Algorithms for the Construction and Analysis of
               Systems, 7th International Conference, TACAS 2001 Held as
               Part of the Joint European Conferences on Theory and Practice
               of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001,
               Proceedings},
  booktitle = {TACAS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2031},
  year      = {2001},
  isbn      = {3-540-41865-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}