|
[HVH07]
Tran Thi Bich Hanh and Dang Van Hung.
Verification of an Air-Traffic Control System with Probabilistic Real-time Model-checking.
Technical report , UNU-IIST United Nations University International Institute for Software Technology.
2007.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|