Towards State Space Reduction Based on T-Lumpability-Consistent Relations”, (2008)

by M Bernardo
Venue:in Proc. of the 5th European Performance Engineering Workshop (EPEW 2008), LNCS 5261:64-78, Palma de Mallorca