Non-Deterministic and Default Behaviour

• Authors:

• Marc F. Witteman;Ronald C. van Wuijtswinkel;S. Ruud Berkhout

• Affiliations:

• -;-;-

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