Home
About
About the Journal
Editorial Team
Submissions
Current
Archives
Announcements
New Submission
Login
Register
Pham, Chinh Dinh
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