Automatic Synthesis of State Machines from Trace Diagrams

Alfredo M. Maeda, Jun-Ichi Aoe, Hideto Tomabechi. Automatic Synthesis of State Machines from Trace Diagrams. Software: Practice and Experience, 24(7):603-622, 1994.

Abstract

Abstract is missing.