Statistical Model Checking of GSPN Models.

Franco Cicirelli, Christian Nigro, Libero Nigro

Browse the full SIMULTECH paper archive.