Forward Analysis of Depth-Bounded Processes.

Thomas Wies, Damien Zufferey, Thomas A. Henzinger

Browse the full FOSSACS paper archive.