A. A. Aaby

List of publications from the DBLP Bibliography Server - FAQ

1988

3 A. A. Aaby, K. T. Narayana: Propositional Temporal Interval Logic is PSPACE Complete. CADE 1988: 218-237

2 K. T. Narayana, A. A. Aaby: Specification of Real-Time Systems in Real-Time Temporal Interval Logic. IEEE Real-Time Systems Symposium 1988: 86-95

1986

1 A. A. Aaby, K. T. Narayana: A Distributed Implementation Scheme for Communicating Processes. ICPP 1986: 942-949

1988
3		A. A. Aaby, K. T. Narayana: Propositional Temporal Interval Logic is PSPACE Complete. CADE 1988: 218-237
2		K. T. Narayana, A. A. Aaby: Specification of Real-Time Systems in Real-Time Temporal Interval Logic. IEEE Real-Time Systems Symposium 1988: 86-95
1986
1		A. A. Aaby, K. T. Narayana: A Distributed Implementation Scheme for Communicating Processes. ICPP 1986: 942-949

Coauthor Index