Antti Siirtola, Keijo Heljanko. Dynamic Cut-Off Algorithm for Parameterised Refinement Checking. In Kyungmin Bae, Peter Csaba Ölveczky, editors, Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings. Volume 11222 of Lecture Notes in Computer Science, pages 256-276, Springer, 2018. [doi]
Abstract is missing.