Java-based system for finite state machine decomposition
Sudnitsõn, Aleksander
;
Levenko, Aleksei
;
Andreev, Dmitri
45. Internationales Wissenschaftliches Kolloquium, 04.-06.10.2000 : Tagungsband
2000
/
S. 961-965 : Ill