Decision-diagram-based techniques for bounded reachability checking of asynchronous systems

Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen. Decision-diagram-based techniques for bounded reachability checking of asynchronous systems. STTT, 11(2):117-131, 2009. [doi]

Abstract

Abstract is missing.