TY - BOOK A1 - Stoffel, Dominik A1 - Kunz, Wolfgang T1 - Structural FSM traversal : theory and a practical algorithm T3 - Preprint / Universität Potsdam, Institut für Informatik Y1 - 1997 SN - 0946-7580 VL - 1997, 05 PB - Univ. Potsdam CY - Potsdam ER -