Hiroyuki Nakagawa, Kento Ogawa, Tatsuhiro Tsuchiya. Caching Strategies for Run-time Probabilistic Model Checking. In Sebastian Götz, Nelly Bencomo, Kirstie L. Bellman, Gordon S. Blair, editors, Proceedings of the 11th International Workshop on Models@run.time co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint Malo, France, October 4, 2016. Volume 1742 of CEUR Workshop Proceedings, pages 18-25, CEUR-WS.org, 2016. [doi]
@inproceedings{NakagawaOT16,
title = {Caching Strategies for Run-time Probabilistic Model Checking},
author = {Hiroyuki Nakagawa and Kento Ogawa and Tatsuhiro Tsuchiya},
year = {2016},
url = {http://ceur-ws.org/Vol-1742/MRT16_paper_6.pdf},
researchr = {https://researchr.org/publication/NakagawaOT16},
cites = {0},
citedby = {0},
pages = {18-25},
booktitle = {Proceedings of the 11th International Workshop on Models@run.time co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint Malo, France, October 4, 2016},
editor = {Sebastian Götz and Nelly Bencomo and Kirstie L. Bellman and Gordon S. Blair},
volume = {1742},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}