BibTeX record journals/corr/abs-1011-6433

download as .bib file

@inproceedings{DBLP:journals/corr/abs-1011-6433,
  author       = {Roberto Gorrieri and
                  Cristian Versari},
  editor       = {Sibylle B. Fr{\"{o}}schle and
                  Frank D. Valencia},
  title        = {A Process Calculus for Expressing Finite Place/Transition Petri Nets},
  booktitle    = {Proceedings 17th International Workshop on Expressiveness in Concurrency,
                  EXPRESS'10, Paris, France, August 30th, 2010},
  series       = {{EPTCS}},
  volume       = {41},
  pages        = {76--90},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.41.6},
  doi          = {10.4204/EPTCS.41.6},
  timestamp    = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1011-6433.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics