BibTeX record conf/isie/ChaoCY12

download as .bib file

@inproceedings{DBLP:conf/isie/ChaoCY12,
  author       = {Daniel Yuh Chao and
                  Hung{-}Yi Chen and
                  Fang Yu},
  title        = {Enumeration of reachable and other states of simple version of Systems
                  of Simple Sequential Processes with Resources {(S3PR)}},
  booktitle    = {21st {IEEE} International Symposium on Industrial Electronics, {ISIE}
                  2012, Hangzhou, China, 28-31 May, 2012},
  pages        = {1369--1374},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISIE.2012.6237290},
  doi          = {10.1109/ISIE.2012.6237290},
  timestamp    = {Thu, 23 Dec 2021 10:30:14 +0100},
  biburl       = {https://dblp.org/rec/conf/isie/ChaoCY12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics