BibTeX record conf/birthday/LatellaLMS15

download as .bib file

@inproceedings{DBLP:conf/birthday/LatellaLMS15,
  author    = {Diego Latella and
               Michele Loreti and
               Mieke Massink and
               Valerio Senni},
  title     = {On StocS: {A} Stochastic Extension of {SCEL}},
  booktitle = {Software, Services, and Systems},
  series    = {Lecture Notes in Computer Science},
  volume    = {8950},
  pages     = {619--640},
  publisher = {Springer},
  year      = {2015}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics