BibTeX record conf/icnsc/ZhangLX17

download as .bib file

@inproceedings{DBLP:conf/icnsc/ZhangLX17,
  author       = {Kun Zhang and
                  Guanjun Liu and
                  Dongming Xiang},
  editor       = {Giancarlo Fortino and
                  MengChu Zhou and
                  Zofia Lukszo and
                  Athanasios V. Vasilakos and
                  Francesco Basile and
                  Carlos Enrique Palau and
                  Antonio Liotta and
                  Maria Pia Fanti and
                  Antonio Guerrieri and
                  Andrea Vinci},
  title        = {{BUCKER:} {A} basic unfolding based checker for soundness of workflow
                  systems},
  booktitle    = {14th {IEEE} International Conference on Networking, Sensing and Control,
                  {ICNSC} 2017, Calabria, Italy, May 16-18, 2017},
  pages        = {611--616},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICNSC.2017.8000161},
  doi          = {10.1109/ICNSC.2017.8000161},
  timestamp    = {Fri, 17 Jan 2020 16:21:49 +0100},
  biburl       = {https://dblp.org/rec/conf/icnsc/ZhangLX17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics