TY - BOOK A1 - Saposhnikov, Vl. V. T1 - Self-dual duplication for error detection and testing T3 - Preprint / Universität Potsdam, Institut für Informatik Y1 - 1997 SN - 0946-7580 VL - 1997, 02 PB - Inst. für Informatik CY - Potsdam ER - TY - BOOK A1 - Seuring, Markus A1 - Gössel, Michael A1 - Sogomonyan, Egor S. T1 - A structural approach for space compaction for concurrent checking and BIST T3 - Preprint / Universität Potsdam, Institut für Informatik Y1 - 1997 SN - 0946-7580 VL - 1997, 01 PB - Univ. Potsdam CY - Potsdam [u.a.] ER - TY - BOOK A1 - Seuring, Markus A1 - Gössel, Michael T1 - A structural approach for space compaction for sequential circuits T3 - Preprint / Universität Potsdam, Institut für Informatik Y1 - 1998 SN - 0946-7580 VL - 1998, 05 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Jürgensen, Helmut T1 - Towards computer science T3 - Preprint / Universität Potsdam, Institut für Informatik Y1 - 1998 SN - 0946-7580 VL - 1998, 03 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Marques de Carvalho, Jackson W. A1 - Jürgensen, Helmut T1 - Dynamic multi-purpose mathematics notation T3 - Preprint / Universität Potsdam, Institut für Informatik Y1 - 1998 SN - 0946-7580 VL - 1998, 04 PB - Univ. CY - Potsdam ER - TY - BOOK ED - Boldt, Oliver ED - Jürgensen, Helmut ED - Robbins, L. E. T1 - Workshop on Implementing Automata : WIA99 - pre-proceedings ; Potsdam, Germany, 17 - 19. July 1999 T3 - Preprint / Universität Potsdam, Institut für Informatik Y1 - 1999 SN - 0946-7580 VL - 1999, 4 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Jürgensen, Helmut A1 - Katsura, M. A1 - Konstantinidis, Stavros T1 - Maximal solid codes T3 - Preprint / Universität Potsdam, Institut für Informatik Y1 - 1999 SN - 0946-7580 VL - 1999, 03 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Brzozowski, J. A. A1 - Jürgensen, Helmut T1 - Semilattices of fault semiautomata T3 - Preprint / Universität Potsdam, Institut für Informatik Y1 - 1999 SN - 0946-7580 VL - 1999, 02 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Jürgensen, Helmut A1 - Kari, L. A1 - Thierrin, G. T1 - Morphisms preserving densities T3 - Preprint / Universität Potsdam, Institut für Informatik Y1 - 1999 SN - 0946-7580 VL - 1999, 09 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Jürgensen, Helmut A1 - Staiger, Ludwig T1 - Finite automata : encoding geometric figures T3 - Preprint / Universität Potsdam, Institut für Informatik Y1 - 1999 SN - 0946-7580 VL - 1999, 07 PB - Univ. CY - Potsdam ER -