BibTeX record journals/imamci/ZhangULW18

download as .bib file

@article{DBLP:journals/imamci/ZhangULW18,
  author    = {Xiuyan Zhang and
               Murat Uzam and
               Zhiwu Li and
               Naiqi Wu},
  title     = {On the synthesis of liveness-enforcing supervisors for flexible manufacturing
               systems using global idle places},
  journal   = {{IMA} J. Math. Control {\&} Information},
  volume    = {35},
  number    = {1},
  pages     = {165--182},
  year      = {2018},
  url       = {https://doi.org/10.1093/imamci/dnw043},
  doi       = {10.1093/imamci/dnw043},
  timestamp = {Wed, 18 Apr 2018 13:07:26 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/imamci/ZhangULW18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics