On the Existence and Production of State Identification Machines for Labelled Transition Systems

• Authors:

• Jari Arkko

• Affiliations:

• -

• Venue:
• FORTE '93 Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI
• Year:
• 1993