Dang, Hung, Miaomiao Zhang, & Chinh Dinh Pham.
" Towards Model-Checking Probabilistic Timed Automata against  Probabilistic Duration Properties." <em>VNU Journal of Science: Computer Science and Communication Engineering</em> [Online], 32.1 (2016): n. pag. Web. 20 Nov. 2024