Zhang, Miaomiao, School of Software Engineering, Tongji University, Shanghai, China

• Vol 32 No 1 (2016) - Special Issue for the 20th Anniversary of VNU-UET Faculty of Information Technology
  Towards Model-Checking Probabilistic Timed Automata against Probabilistic Duration Properties
  Abstract  PDF  Untitled