DMCA

Bounded Model Checking for GSMP Models of Stochastic Real-time Systems (2006)

Cached

Download Links

by Rajeev Alur , Mikhail Bernadsky
Venue:In Proc. of HSCC’06, LNCS 3927
Citations:14 - 2 self