![](/img/cover-not-exists.png)
Automatic synthesis of state machines from trace diagrams
Kai Koskimies, Erkki MäkinenVolume:
24
Year:
1994
Language:
english
Pages:
16
DOI:
10.1002/spe.4380240704
File:
PDF, 1.06 MB
english, 1994