BibTeX record conf/models/NakagawaOT16

download as .bib file

@inproceedings{DBLP:conf/models/NakagawaOT16,
  author    = {Hiroyuki Nakagawa and
               Kento Ogawa and
               Tatsuhiro Tsuchiya},
  title     = {Caching Strategies for Run-time Probabilistic Model Checking},
  booktitle = {MoDELS@Run.time},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1742},
  pages     = {18--25},
  publisher = {CEUR-WS.org},
  year      = {2016}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics