Pergamos - Library and Information Center of National and Kapodistrian University of Athens

Conference Paper uoadl:1041877 687 Read counter

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