Entry vanderAalst:2000:EES from lncs2000.bib

Last update: Thu May 16 02:07:42 MDT 2019                Valid HTML 4.0!

Index sections

Top | Symbols | Numbers | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{vanderAalst:2000:EES,
  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",
  title =        "{Ex{\em Spect} 6.4}: An Executable Specification Tool
                 for Hierarchical Colored {Petri} Nets",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "1825",
  pages =        "455--??",
  year =         "2000",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri Feb 1 09:16:35 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t1825.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2000.bib",
  URL =          "http://link.springer-ny.com/link/service/series/0558/bibs/1825/18250455.htm;
                 http://link.springer-ny.com/link/service/series/0558/papers/1825/18250455.pdf",
  acknowledgement = ack-nhfb,
}

Related entries