BibTeX record phd/ethos/DOsualdo15

download as .bib file

@phdthesis{DBLP:phd/ethos/DOsualdo15,
  author    = {Emanuele D'Osualdo},
  title     = {Verification of message passing concurrent systems},
  school    = {University of Oxford, {UK}},
  year      = {2015}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics