Δομή Κρίπκε: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μΧωρίς σύνοψη επεξεργασίας |
μ r2.6.4) (Ρομπότ: Τροποποίηση: en:Kripke structure (model checking) |
||
Γραμμή 25:
[[Κατηγορία:Τυπικές μέθοδοι]]
[[en:Kripke structure (model checking)]]
[[fr:Structure de Kripke]]
[[ko:크립키 구조]]
[[ru:Модель Крипке]]
[[sk:Kripkeho štruktúra]]
| |||