Reachability Analysis of the ODP Trader Using Equivalence Classes

• Authors:

• A. Tokmakoff;J. Billington

• Affiliations:

• -;-

• Venue:
• SEEP '98 Proceedings of the 1998 International Conference on Software Engineering: Education & Practice
• Year:
• 1998