Optimal Time-Bounded Reachability Analysis for Concurrent Systems.

Yuliya Butkova, Gereon Fox

Browse the full TACAS paper archive.