Daniel Gâinâ, Ionut Tutu, Adrián Riesco. Specification and Verification of Invariant Properties of Transition Systems. In 25th Asia-Pacific Software Engineering Conference, APSEC 2018, Nara, Japan, December 4-7, 2018. pages 99-108, IEEE, 2018. [doi]
Abstract is missing.