Shaun Azzopardi, Christian Colombo, Gordon J. Pace. A Technique for Automata-based Verification with Residual Reasoning. In Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, editors, Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020. pages 237-248, SCITEPRESS, 2020. [doi]
Abstract is missing.