Implementation relations for stochastic finite state machines (2006)

by M G Merayo, M Nez, I Rodrguez
Venue:In 3rd European Performance Engineering Workshop, EPEW’06, LNCS 3964