Πρωτότυπος Τίτλος:
A distributed temporal logic framework for the verification and synthesis of reactive systems
Γλώσσες Τεκμηρίου:
Αγγλικά
Δημιουργός:
Andronikos, Theodore
Potikas, Petros M.
Zachos, Stathis
Περίληψη:
Δεν υπάρχει περίληψη
Κύρια θεματική κατηγορία:
Πληροφορική
Λέξεις-κλειδιά:
Modal logic, Temporal logic, Theoretical Foundations
