BibTeX record journals/corr/DOsualdoO15

download as .bib file

@article{DBLP:journals/corr/DOsualdoO15,
  author    = {Emanuele D'Osualdo and
               Luke Ong},
  title     = {A Type System for proving Depth Boundedness in the pi-calculus},
  journal   = {CoRR},
  volume    = {abs/1502.00944},
  year      = {2015}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics