foster-2016-probabilistic:
  type: chapter
  title: Probabilistic NetKAT
  author:
  - Foster, Nate
  - Kozen, Dexter
  - Mamouras, Konstantinos
  - Reitblatt, Mark
  - Silva, Alexandra
  date: 2016
  page-range: 282-309
  url: http://dx.doi.org/10.1007/978-3-662-49498-1_12
  serial-number:
    doi: 10.1007/978-3-662-49498-1_12
    isbn: '9783662494981'
    issn: 1611-3349
  parent:
    type: book
    title: Programming Languages and Systems
    publisher: Springer Berlin Heidelberg