BibTeX record journals/corr/GhassemiF17

download as .bib file

@article{DBLP:journals/corr/GhassemiF17,
  author    = {Fatemeh Ghassemi and
               Wan J. Fokkink},
  title     = {Reliable Restricted Process Theory},
  journal   = {CoRR},
  volume    = {abs/1705.02600},
  year      = {2017}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics