openthesaurus.de
Synonyme und Assoziationen
Keine direkten Treffer
Teilwort-Treffer
Kein Teilwort-Treffer
Ähnlich geschrieben
Keine ähnlichen Treffer
Wiktionary
Keine direkten Treffer
Wikipedia-Links
Temporale Logik
·
Verifizierung
·
Model Checking
·
Lineare temporale Logik
·
Aussage (Logik)
·
Formale Grammatik
·
Boolescher Operator
·
Formale Sprache
·
Transitionssystem
Quelle & Lizenz
Quelle:
Wikipedia-Seite zu 'Computation Tree Logic'
[
Autoren
]
Lizenz:
Creative Commons Attribution-ShareAlike