Jessica Ertel, Roland Glück, Bernhard Möller. Algebraic Derivation of Until Rules and Application to Timer Verification. In Jules Desharnais, Walter Guttmann, Stef Joosten, editors, Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings. Volume 11194 of Lecture Notes in Computer Science, pages 244-262, Springer, 2018. [doi]
Abstract is missing.