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},
  title     = {Model Checking Starvation for Resource-aware Active Objects with Coloured
               Petri Nets},
  booktitle = {PNSE@Petri Nets},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2651},
  pages     = {68--85},
  publisher = {CEUR-WS.org},
  year      = {2020}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics