BibTeX record conf/apn/AalstCGHHRT00

• > Home > conf/apn/AalstCGHHRT00

@inproceedings{DBLP:conf/apn/AalstCGHHRT00,
  author       = {Wil M. P. van der Aalst and
                  Poul J. N. de Crom and
                  Roy R. H. M. J. Goverde and
                  Kees M. van Hee and
                  Wout J. Hofman and
                  Hajo A. Reijers and
                  Robert A. van der Toorn},
  editor       = {Mogens Nielsen and
                  Dan Simpson},
  title        = {Ex Spect 6.4: An Executable Specification Tool for Hierarchical Colored
                  Petri Nets},
  booktitle    = {Application and Theory of Petri Nets 2000, 21st International Conference,
                  {ICATPN} 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding},
  series       = {Lecture Notes in Computer Science},
  volume       = {1825},
  pages        = {455--464},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44988-4\_26},
  doi          = {10.1007/3-540-44988-4\_26},
  timestamp    = {Wed, 25 Sep 2019 18:08:03 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/AalstCGHHRT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}