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


None⫷None⫸None
Martin Schwarick

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