BibTeX record journals/topnoc/KristensenS13

download as .bib file

@article{DBLP:journals/topnoc/KristensenS13,
  author    = {Lars Michael Kristensen and
               Kent Inge Fagerland Simonsen},
  title     = {Applications of Coloured Petri Nets for Functional Validation of Protocol
               Designs},
  journal   = {Trans. Petri Nets and Other Models of Concurrency},
  volume    = {7},
  pages     = {56--115},
  year      = {2013},
  crossref  = {DBLP:journals/topnoc/2013-7},
  url       = {https://doi.org/10.1007/978-3-642-38143-0\_3},
  doi       = {10.1007/978-3-642-38143-0\_3},
  timestamp = {Thu, 18 May 2017 09:51:21 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/KristensenS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2013-7,
  editor    = {Kurt Jensen and
               Wil M. P. van der Aalst and
               Gianfranco Balbo and
               Maciej Koutny and
               Karsten Wolf},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {VII}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7480},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38143-0},
  doi       = {10.1007/978-3-642-38143-0},
  isbn      = {978-3-642-38142-3},
  timestamp = {Thu, 18 May 2017 09:51:21 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/2013-7},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier