Ian Davies, William J. Knottenbelt, Pieter S. Kritzinger. Symbolic Methods for the State Space Exploration of GSPN Models. In Tony Field, Peter G. Harrison, Jeremy T. Bradley, Uli Harder, editors, Computer Performance Evaluation, Modelling Techniques and Tools 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002, Proceedings. Volume 2324 of Lecture Notes in Computer Science, pages 188-199, Springer, 2002. [doi]
Abstract is missing.