Testing for Finite State Systems

• Authors:

• Mihalis Yannakakis;David Lee

• Affiliations:

• -;-

• Venue:
• Proceedings of the 12th International Workshop on Computer Science Logic
• Year:
• 1998