Vol-642⫷ Vol-643 ⫸Vol-644
urn:nbn:de:0074-643-0


None⫷None⫸None

IDD-MC - A Model Checker for Bounded Stochastic Petri nets