Symbolic methods for the state space exploration of GSPN models (2002)

by I Davies, W J Knottenbelt, P S Kritzinger
Venue:In Proc. 12th Int. Conf. Modeling Techniques and Tools (TOOLS 2002