Improved BDD-Based Discrete Analysis of Timed Systems.

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

Browse the full FM paper archive.