BibTeX record conf/sitis/DuZT13

• > Home > conf/sitis/DuZT13

@inproceedings{DBLP:conf/sitis/DuZT13,
  author       = {Yanhua Du and
                  Wending Zhang and
                  Wei Tan},
  editor       = {Kokou Y{\'{e}}tongnon and
                  Albert Dipanda and
                  Richard Chbeir},
  title        = {Pattern-Based Model Checking for Dynamic Analysis of Workflow Processes
                  with Temporal Constraints},
  booktitle    = {Ninth International Conference on Signal-Image Technology {\&}
                  Internet-Based Systems, {SITIS} 2013, Kyoto, Japan, December 2-5,
                  2013},
  pages        = {225--232},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/SITIS.2013.47},
  doi          = {10.1109/SITIS.2013.47},
  timestamp    = {Thu, 23 Mar 2023 23:59:41 +0100},
  biburl       = {https://dblp.org/rec/conf/sitis/DuZT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}