"Infinite-State Liveness-to-Safety via Implicit Abstraction and ..."

Jakub Daniel et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics