@COMMENT{{{This file has been generated by bib2bib 1.74}}

@COMMENT{{{Command line: ./bib2bib -c 'year>=1998 & year <= 2013' -c 'author: "mio"' papers.bib}}

@INPROCEEDINGS{mio:hal-00766384,
  ADDRESS = {Rome, Italy},
  AUTHOR = {Mio, Matteo and Simpson, Alex},
  BOOKTITLE = {{FoSSaCS}},
  EDITOR = {Frank Pfenning},
  MONTH = MAR,
  PAGES = {15},
  TITLE = {{A Proof System for Compositional Verification of Probabilistic Concurrent Processes}},
  URL = {http://hal.inria.fr/hal-00766384},
  X-ID-HAL = {hal-00766384},
  X-INTERNATIONAL-AUDIENCE = {yes},
  X-PROCEEDINGS = {yes},
  YEAR = {2013}
}

@ARTICLE{mio:hal-00763451,
  AUTHOR = {Mio, Matteo},
  JOURNAL = {{Logical Methods in Computer Science}},
  MONTH = NOV,
  NUMBER = {4},
  PUBLISHER = {ArXiv},
  TITLE = {{Probabilistic modal {$\mu$}-calculus with independent product}},
  URL = {http://hal.inria.fr/hal-00763451},
  VOLUME = {8},
  X-EDITORIAL-BOARD = {yes},
  X-ID-HAL = {hal-00763451},
  X-INTERNATIONAL-AUDIENCE = {yes},
  YEAR = {2012}
}

@ARTICLE{mio:hal-00763454,
  AUTHOR = {Mio, Matteo},
  JOURNAL = {{Logical Methods in Computer Science}},
  MONTH = JUN,
  NUMBER = {2},
  PUBLISHER = {ArXiv},
  TITLE = {{On the equivalence of game and denotational semantics for the probabilistic $\mu$-calculus}},
  URL = {http://hal.inria.fr/hal-00763454},
  VOLUME = {8},
  X-EDITORIAL-BOARD = {yes},
  X-ID-HAL = {hal-00763454},
  X-INTERNATIONAL-AUDIENCE = {yes},
  YEAR = {2012}
}

This file has been generated by bibtex2html 1.74