Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization.

Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong

Browse the full ICFEM paper archive.