Journal Paper

Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique

Courtiat, J ; SANTOS, C. A. S. . Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique. Computer Communications, Amsterdam, v. 23, n.12, p. 1104-1123, 2000.

2000

Created by Lattes PostCaptcha Importer at 2018-06-05 15:27:16.0.
Simplified Graph of Associations
Quid