On the introduction of gate typing in E-LOTOS

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

10.1007/978-0-387-34892-6_18 ◽

1996 ◽

pp. 283-298 ◽

Author(s):

Hubert Garavel ◽

Inria Rhône-Alpes

Download Full-text