Bounded model checking for GSMP models of stochastic real-time systems (0)

by R Alur, M Bernadsky
Venue:In Hybrid Systems: Computation and Control, Proc. of 9th Int. Workshop, LNCS 3927