Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams.

Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lttgen

Browse the full TACAS paper archive.