DMCA

Symbolic and parametric model checking of discrete-time markov Chains (2004)

Cached

Download Links

by Conrado Daws
Venue:In Proc. of ICTAC’04, Springer LNCS 3407
Citations:32 - 0 self