NMSPA: A non-Markovian model for stochastic processes (2000)

by N Lopez, M Núnez
Venue:In Proc. 1st Int. Workshop on Distributed System Validation and Verification, IEEE CS