Invited Address I

IFIP Advances in Information and Communication Technology - Protocol Specification, Testing and Verification XIV ◽

10.1007/978-0-387-34867-4_4 ◽

1995 ◽

pp. 53-67 ◽

Cited By ~ 2

Author(s):

Ed Brinksma

Download Full-text