BibTeX record conf/ica3pp/LiuZJ16

download as .bib file

@inproceedings{DBLP:conf/ica3pp/LiuZJ16,
  author    = {Guanjun Liu and
               Kun Zhang and
               Changjun Jiang},
  title     = {Deciding the Deadlock and Livelock in a Petri Net with a Target Marking
               Based on Its Basic Unfolding},
  booktitle = {Algorithms and Architectures for Parallel Processing - 16th International
               Conference, {ICA3PP} 2016, Granada, Spain, December 14-16, 2016, Proceedings},
  pages     = {98--105},
  year      = {2016},
  crossref  = {DBLP:conf/ica3pp/2016},
  url       = {https://doi.org/10.1007/978-3-319-49583-5\_7},
  doi       = {10.1007/978-3-319-49583-5\_7},
  timestamp = {Fri, 26 May 2017 00:48:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ica3pp/LiuZJ16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ica3pp/2016,
  editor    = {Jes{\'{u}}s Carretero and
               Javier Garc{\'{\i}}a Blas and
               Ryan K. L. Ko and
               Peter Mueller and
               Koji Nakano},
  title     = {Algorithms and Architectures for Parallel Processing - 16th International
               Conference, {ICA3PP} 2016, Granada, Spain, December 14-16, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10048},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-49583-5},
  doi       = {10.1007/978-3-319-49583-5},
  isbn      = {978-3-319-49582-8},
  timestamp = {Fri, 26 May 2017 00:48:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ica3pp/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Schloss Dagstuhl LZI