Minimal Critical Subsystems for Discrete-Time Markov Models.

Ralf Wimmer, Nils Jansen, Erika brahm, Bernd Becker, Joost-Pieter Katoen

Browse the full TACAS paper archive.