Partition search problem for finite state machine decomposition
Sudnitsõn, Aleksander
45. Internationales Wissenschaftliches Kolloquium, 04.-06.10.2000 : Tagungsband
2000
/
S. 673-678 : Ill