Reachability, confluence, and termination analysis with state-compatible automata

Bertram Felgenhauer, René Thiemann
Information and Computation 253(3), pp. 467 – 483, 2017.

abstract   BibTeX   PDF   doi:10.1016/j.ic.2016.06.011