Test System for a Restricted Class of LOTOS Expressions with Data Parameters

• Authors:

• Teruo Higashino;Gregor von Bochmann;Xiangdong Li;Keiichi Yasumoto;Kenichi Taniguchi

• Affiliations:

• -;-;-;-;-

• Venue:
• Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems V
• Year:
• 1992