Aalst08'

BibTeX

@inproceedings{DBLP:conf/gg/Aalst08,
  author    = {Wil M. P. van der Aalst},
  title     = {Discovery, Verification and Conformance of Workflows with
               Cancellation},
  booktitle = {ICGT},
  year      = {2008},
  pages     = {18-37},
  ee        = {http://dx.doi.org/10.1007/978-3-540-87405-8_2},
  crossref  = {DBLP:conf/gg/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/gg/2008,
  editor    = {Hartmut Ehrig and
               Reiko Heckel and
               Grzegorz Rozenberg and
               Gabriele Taentzer},
  title     = {Graph Transformations, 4th International Conference, ICGT
               2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  booktitle = {ICGT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5214},
  year      = {2008},
  isbn      = {978-3-540-87404-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}