CAP Project

[ButkovaWH18] Markov Automata on Discount! Butkova, Y.; Wimmer, R. and Hermanns, H. In Measurement, Modelling and Evaluation of Computing Systems - 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings, pages 19-34, Springer, Lecture Notes in Computer Science 10740, 2018.
Downloads: bibURL: https://doi.org/10.1007/978-3-319-74947-1_2