Ernst-rüdiger Olderog (u. A.) | Model Checking, Synthesis, And

Model Checking, Synthesis, and Learning, Fachbücher von Wang Yi, Bernhard Steffen, Ernst-Rüdiger Olderog

Roberto Giacobazzi (u. A.) | Verification, Model Checking, And

Fritz Henglein (u. A.) | Verification, Model Checking, And Abstract...

Xavier Rival (u. A.) | Verification, Model Checking, And Abstract

Deepak D'souza (u. A.) | Verification, Model Checking, And Abstract...

K. Rustan M. Leino (u. A.) | Verification, Model Checking, And

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

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

Edmund M. Clarke (u. A.) | Handbook Of Model Checking | Buch |

True Concurrency And Atomicity A Model Checking Approach With

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

Verification, Model Checking, And Abstract Interpretation Fritz

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