Automated analysis of bounded response time for two NASA expert systems.

Tue, 01 Jan 1991 00:00:00 +0100

Chih-Kan Wang, Duu-Chung Tsou, Rwo-Hsi Wang, James C. Browne, Aloysius K. Mok:
Automated analysis of bounded response time for two NASA expert systems. SIGSOFT 1991: 147-161