A. A. Aaby

	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

1

K. T. Narayana

[1] [2] [3]

Last update Fri May 25 03:49:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page