PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems.

Jun Sun, Yang Liu, Songzheng Song, Jin Song Dong, Xiaohong Li

Browse the full ICFEM paper archive.