Statistical Model Checking for Hybrid Petri Nets with Multiple General Transitions.

Carina Pilch, Anne Remke

Browse the full DSN paper archive.