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

Model Checking Software 16th International Spin Workshop, Grenoble,

Improving Scalability Of Model Checking Software Architectures A

Bosah Chukwuogo | Improving Scalability Of Model Checking Software

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

Stochastic Model Checking International Autumn School, Rocks 2012,

Business Modeling And Software Design 9th International Symposium,

Environmental Software Systems Ifip Tc5 Wg5.11 International Symposium

Engineering Secure Software And Systems 8th International Symposium,

Software Engineering In Health Care 4th International Symposium, Fhies

Search-based Software Engineering 6th International Symposium, Ssbse

Formal Aspects Of Component Software 9th International Symposium, Facs

Combinatorial Pattern Matching 26th Annual Symposium, Cpm 2015, Ischia

10th International Munich Chassis Symposium 2019 Chassis.tech Plus

Advances In Neural Networks - Isnn 2019 16th International Symposium

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