Stefan Edelkamp (u. A.) | Model Checking Software | Taschenbuch |

Sriram K. Rajamani (u. A.) | Model Checking Software | Taschenbuch |

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

Patrick Godefroid | Model Checking Software | Taschenbuch | Englisch

Improving Scalability Of Model Checking Software Architectures A

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

Model Checking Software 16th International Spin Workshop, Grenoble,

Francesco Logozzo (u. A.) | Verification, Model Checking, And

Doron A. Peled (u. A.) | Model Checking And Artificial Intelligence |

Gilles Barthe (u. A.) | Verification, Model Checking, And Abstract...

Markus Müller-olm (u. A.) | Verification, Model Checking, And

Raghavendra Kagalavadi Ramesh (u. A.) | Model Checking Trace-based...

Principles Of Model Checking | Christel Baier (u. A.) | Englisch |

Model Checking Quantum Systems | Mingsheng Ying (u. A.) | Englisch |

Bosah Chukwuogo | Improving Scalability Of Model Checking Software

Model Checking Software 26th International Symposium, Spin 2019,