Denne06'

BibTeX

@inproceedings{DBLP:conf/epk/Denne06,
  author    = {Stefan Denne},
  title     = {Verifying Properties of (Timed) Event Driven Process Chains
               by Transformation to Hybrid Automata},
  booktitle = {EPK},
  year      = {2006},
  pages     = {157-176},
  ee        = {http://ceur-ws.org/Vol-224/epk2006-paper9.pdf},
  crossref  = {DBLP:conf/epk/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/epk/2006,
  editor    = {Markus N{\"u}ttgens and
               Frank J. Rump and
               Jan Mendling},
  title     = {5. Workshop der Gesellschaft f{\"u}r Informatik e.V. (GI)
               und Treffen ihres Arbeitskreises "Gesch{\"a}ftsprozessmanagement
               mit Ereignisgesteuerten Prozessketten (WI-EPK)", Wien, 30.
               November - 01. Dezember 2006},
  booktitle = {EPK},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {224},
  year      = {2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}