BibTeX record conf/apn/GkolfiJKY20

download as .bib file

@inproceedings{DBLP:conf/apn/GkolfiJKY20,
  author    = {Anastasia Gkolfi and
               Einar Broch Johnsen and
               Lars Michael Kristensen and
               Ingrid Chieh Yu},
  editor    = {Michael K{\"{o}}hler{-}Bu{\ss}meier and
               Ekkart Kindler and
               Heiko R{\"{o}}lke},
  title     = {Model Checking Starvation for Resource-aware Active Objects with Coloured
               Petri Nets},
  booktitle = {Proceedings of the International Workshop on Petri Nets and Software
               Engineering co-located with 41st International Conference on Application
               and Theory of Petri Nets and Concurrency {(PETRI} {NETS} 2020), Paris,
               France, June 24, 2020 (due to {COVID-19:} virtual conference)},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2651},
  pages     = {68--85},
  publisher = {CEUR-WS.org},
  year      = {2020},
  url       = {http://ceur-ws.org/Vol-2651/paper5.pdf},
  timestamp = {Wed, 19 Aug 2020 17:48:59 +0200},
  biburl    = {https://dblp.org/rec/conf/apn/GkolfiJKY20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics