DANG, Hung Van; 						ZHANG, Miaomiao; 						PHAM, Chinh Dinh.
 Towards Model-Checking Probabilistic Timed Automata against  Probabilistic Duration Properties.
<strong>VNU Journal of Science: Computer Science and Communication Engineering</strong>, [S.l.], v. 32, n. 1, mar. 2016.
ISSN 2588-1086.
Available at: &lt;<a href="//jcsce.vnu.edu.vn/index.php/jcsce/article/view/121" target="_new">//jcsce.vnu.edu.vn/index.php/jcsce/article/view/121</a>&gt;. Date accessed: 22 dec. 2024.