CSL model checking of deterministic and stochastic Petri nets

J.M. Martinez Verdugo, Boudewijn R.H.M. Haverkort, R. German, A. Heindl (Editor)

Research output: Other contribution

Fingerprint

Dive into the research topics of 'CSL model checking of deterministic and stochastic Petri nets'. Together they form a unique fingerprint.

Keyphrases

Mathematics

Computer Science

Engineering