BibTeX record conf/apn/VillapolB03

download as .bib file

@inproceedings{DBLP:conf/apn/VillapolB03,
  author       = {Mar{\'{\i}}a E. Villapol and
                  Jonathan Billington},
  editor       = {Wil M. P. van der Aalst and
                  Eike Best},
  title        = {Analysing Properties of the Resource Reservation Protocol},
  booktitle    = {Applications and Theory of Petri Nets 2003, 24th International Conference,
                  {ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2679},
  pages        = {377--396},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44919-1\_24},
  doi          = {10.1007/3-540-44919-1\_24},
  timestamp    = {Sat, 19 Oct 2019 20:09:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/VillapolB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}