DMCA

Verifying Linear Duration Properties of Probabilistic Real-Time Systems (1999)

by Hou Jianmin , Dang Van Hung
Citations:1 - 0 self