"Eliminating spurious transitions in reachability with support functions."

Goran Frehse et al. (2015)
maintained by Schloss Dagstuhl LZI, founded at University of Trier