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

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

Edmund Clarke (u. A.) | Perspectives Of Systems Informatics |

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

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

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

Improving Scalability Of Model Checking Software Architectures A

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

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

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

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

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

Bar¿¿ Tan (u. A.) | Handbook Of Stochastic Models And Analysis Of...

Changhyun Kwon (u. A.) | Handbook Of Or/ms Models In Hazardous

Young-sun Lee (u. A.) | Handbook Of Diagnostic Classification Models |

Bosah Chukwuogo | Improving Scalability Of Model Checking Software