BibTeX record journals/corr/BestS15

download as .bib file

@inproceedings{DBLP:journals/corr/BestS15,
  author    = {Eike Best and
               Uli Schlachter},
  title     = {Analysis of Petri Nets and Transition Systems},
  booktitle = {Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015,
               Grenoble, France, 4-5th June 2015.},
  pages     = {53--67},
  year      = {2015},
  crossref  = {DBLP:journals/corr/KnightLLV15},
  url       = {https://doi.org/10.4204/EPTCS.189.6},
  doi       = {10.4204/EPTCS.189.6},
  timestamp = {Wed, 14 Nov 2018 10:31:26 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BestS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/KnightLLV15,
  editor    = {Sophia Knight and
               Ivan Lanese and
               Alberto Lluch{-}Lafuente and
               Hugo Torres Vieira},
  title     = {Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015,
               Grenoble, France, 4-5th June 2015},
  series    = {{EPTCS}},
  volume    = {189},
  year      = {2015},
  url       = {https://doi.org/10.4204/EPTCS.189},
  doi       = {10.4204/EPTCS.189},
  timestamp = {Wed, 14 Nov 2018 10:31:26 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/KnightLLV15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics