Login / Signup
A. A. Aaby
Publication Activity (10 Years)
Years Active: 1986-1988
Publications (10 Years): 0
</>
Publications
</>
A. A. Aaby
,
K. T. Narayana
Propositional Temporal Interval Logic is PSPACE Complete.
CADE
(1988)
K. T. Narayana
,
A. A. Aaby
Specification of Real-Time Systems in Real-Time Temporal Interval Logic.
RTSS
(1988)
A. A. Aaby
,
K. T. Narayana
A Distributed Implementation Scheme for Communicating Processes.
ICPP
(1986)