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

Model Checking Software 16th International Spin Workshop, Grenoble,

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

Improving Scalability Of Model Checking Software Architectures A

Bosah Chukwuogo | Improving Scalability Of Model Checking Software

Stochastic Model Checking International Autumn School, Rocks 2012,

Computer Networks 26th International Conference, Cn 2019, Kamien

Business Modeling And Software Design 5th International Symposium,

Engineering Secure Software And Systems 8th International Symposium,

Search Based Software Engineering 9th International Symposium, Ssbse

Software Engineering In Health Care 4th International Symposium, Fhies

Formal Aspects Of Component Software 10th International Symposium,

Environmental Software Systems Ifip Tc5 Wg5.11 International Symposium

Model-based Safety And Assessment 7th International Symposium, Imbsa

Static Analysis 26th International Symposium, Sas 2019, Porto,

Patrick Godefroid | Model Checking Software | Taschenbuch | Englisch