"Utilizing dependencies to obtain subsets of reachable sets."

Niklas Kochdumper, Bastian Schürmann, Matthias Althoff (2020)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics