Using Flat Concurrent Prolog in System Modeling.

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

Yoheved Dotan, Benjamin Arazi :
Using Flat Concurrent Prolog in System Modeling. IEEE Trans. Software Eng. 17(6): 493-512 (1991)