Preview new version
Enter
Ελληνικά
Enter
Ελληνικά
Toggle navigation
Browse
Search
Indexes
Help
About
Collections
Conference Proceedings
8th Panhellenic Conference in Informatics Proceedings (Volume 2)
Export Citation
BibTex
RIS
Text
A distributed temporal logic framework for the verification and synthesis of reactive systems
Conference Paper
uoadl:1041877
771 Read counter
Description
Contents
Original Title:
A distributed temporal logic framework for the verification and synthesis of reactive systems
Languages of Item:
English
Creator:
Andronikos, Theodore
Potikas, Petros M.
Zachos, Stathis
Abstract:
Empty abstract
Main subject category:
Computer science
Keywords:
Modal logic, Temporal logic, Theoretical Foundations
Pages (from-to):
1-9
Persistent URL:
https://pergamos.lib.uoa.gr/uoa/dl/object/1041877
The digital material of the item is not available.
