Giuliano Casale. Automated Multi-paradigm Analysis of Extended and Layered Queueing Models with LINE. In Varsha Apte, Antinisca Di Marco, Marin Litoiu, José Merseguer, editors, Companion of the 2019 ACM/SPEC International Conference on Performance Engineering, ICPE 2019, Mumbai, India, April 07-11, 2019. pages 37-38, ACM, 2019. [doi]
Abstract is missing.