Verifying Timing Properties for Distributed Real-Time Systems Using Timing Constraint Petri Nets.

Jeffrey J. P. Tsai, Stephen J. H. Yang, Yao-Hsiung Chang, Eric Y. T. Juan

Browse the full COMPSAC paper archive.