Efficient Evidence Generation for Modal μ-Calculus Model Checking.

Anna Stramaglia, Jeroen J. A. Keiren, Maurice Laveaux, Tim A. C. Willemse

Browse the full TACAS paper archive.