Verification and Testing of Concurrent Systems with Action Races

• Authors:

• Alexandre Petrenko;Andreas Ulrich

• Affiliations:

• -;-

• Venue:
• TestCom '00 Proceedings of the IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems: Tools and Techniques
• Year:
• 2000