DBLP Record 'conf/vveis/YeungLWD06'

BibTeX

@inproceedings{DBLP:conf/vveis/YeungLWD06,
  author    = {Wing Lok Yeung and
               Karl R. P. H. Leung and
               Ji Wang and
               Wei Dong},
  title     = {Model Checking Suspendible Business Processes via Statechart
               Diagrams and CSP},
  booktitle = {MSVVEIS},
  year      = {2006},
  pages     = {97-107},
  crossref  = {DBLP:conf/vveis/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/vveis/2006,
  editor    = {Joseph Barjis and
               Ulrich Ultes-Nitsche and
               Juan Carlos Augusto},
  title     = {Modelling, Simulation, Verification and Validation of Enterprise
               Information Systems, Proceedings of the 4th International
               Workshop on Modelling, Simulation, Verification and Validation
               of Enterprise Information Systems, MSVVEIS 2006, In conjunction
               with ICEIS 2006, Paphos, Cyprus, May 2006},
  booktitle = {MSVVEIS},
  publisher = {INSTICC Press},
  year      = {2006},
  isbn      = {978-972-8865-49-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}