Analysis of Estelle Specifications

Workshops in Computing - Specification and Verification of Concurrent Systems ◽

10.1007/978-1-4471-3534-0_21 ◽

1990 ◽

pp. 428-438 ◽

Cited By ~ 1

Author(s):

Udo Thalmann

Download Full-text