BibTeX record journals/tase/Liu19

download as .bib file

@article{DBLP:journals/tase/Liu19,
  author    = {Fuchun Liu},
  title     = {Predictability of Failure Event Occurrences in Decentralized Discrete-Event
               Systems and Polynomial-Time Verification},
  journal   = {{IEEE} Trans. Automation Science and Engineering},
  volume    = {16},
  number    = {1},
  pages     = {498--504},
  year      = {2019},
  url       = {https://doi.org/10.1109/TASE.2018.2868330},
  doi       = {10.1109/TASE.2018.2868330},
  timestamp = {Fri, 18 Jan 2019 23:22:46 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tase/Liu19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics