CAP Project

[HeHC17] Models of Connected Things: On Priced Probabilistic Timed Reo He, K.; Hermanns, H. and Chen, Y. In 41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017, Turin, Italy, July 4-8, 2017. Volume 1, pages 234-243, IEEE Computer Society, 2017.
Downloads: bibURL: https://doi.org/10.1109/COMPSAC.2017.172