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

Jari Arkko

Browse the full FORTE paper archive.