BibTeX record journals/chinaf/LiuJ17

download as .bib file

@article{DBLP:journals/chinaf/LiuJ17,
  author    = {Guanjun Liu and
               Changjun Jiang},
  title     = {Observable liveness of Petri nets with controllable and observable
               transitions},
  journal   = {{SCIENCE} {CHINA} Information Sciences},
  volume    = {60},
  number    = {11},
  pages     = {118102},
  year      = {2017},
  url       = {https://doi.org/10.1007/s11432-016-0241-y},
  doi       = {10.1007/s11432-016-0241-y},
  timestamp = {Tue, 16 Jan 2018 15:50:46 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/chinaf/LiuJ17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics