Process instances in LOTOS simulation

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

10.1007/bfb0024665 ◽

1993 ◽

pp. 521-540

Author(s):

Simon Pickin ◽

Yan Yang ◽

Wiet Bouma ◽

Sylvie Simon ◽

Tanja de Groot

Download Full-text