Jean-Michel Couvreur;Javier Martínez
-;-
Validation of GSPN and SWN Models through the PROD Tool
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools