Stochastic Model Checking International Autumn School, Rocks 2012,

Anne Remke (u. A.) | Stochastic Model Checking | Taschenbuch |

Stochastic Model Checking, Fachbücher von Mariëlle Stoelinga, Anne Remke

Model Checking Software 20th International Symposium, Spin 2013, Stony

Notes From The International Autumn School On Computational Number

Symbolisches Model Checking Variabler Verhaltensspezifikationen

Towards A Workplace Learning Model For International Schools

Model Checking Abstract State Machines 6717

Sichere Konfigurationsplanung Adaptiver Systeme Durch Model Checking

Model Checking Software 16th International Spin Workshop, Grenoble,

Verification, Model Checking, And Abstract Interpretation Deepak

Model Checking And Artificial Intelligence 5th International Workshop,

Conformance Checking Relating Processes And Models 5214

Jaco Geldenhuys (u. A.) | Model Checking Software | Taschenbuch |

Julian-steffen Müller | Satisfiability And Model Checking In Team

Hana Chockler | Coverage Metrics For Model Checking | Taschenbuch |