dblp.uni-trier.dewww.uni-trier.de

A. A. Aaby Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1988
3EEA. 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

1K. T. Narayana [1] [2] [3]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)