Integrating SA/RT with LOTOS

Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal Methods ◽

10.1007/bfb0024670 ◽

1993 ◽

pp. 617-631

Author(s):

Anthony W. van der Vloedt ◽

Kees Bogaards

Download Full-text