"Specification and Verification of Invariant Properties of Transition Systems."

Daniel Gâinâ, Ionut Tutu, Adrián Riesco (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics