|
1 |
Extending s-invariants for coloured and selfmodifying nets Valk, Rüdiger. - Hamburg : Bibliothek des Fachbereichs Informatik, Univ., 1993
|
|
|
2 |
Modelling of task flow in systems of functional units Valk, Rüdiger. - Hamburg : Fachbereich Informatik, Univ., [1987]
|
|
|
3 |
The residue of vector sets with applications to decidability problems in Petri nets Valk, Rüdiger. - Hamburg : Fachbereich Informatik, Univ., 1984
|
|
|
4 |
Self-modifying nets Valk, Rüdiger. - Hamburg : Inst. für Informatik, Univ. Hamburg, 1977
|
|
|
5 |
Realisierungen allgemeiner Systeme Valk, Rüdiger. - S[ank]t Augustin : Ges. für Mathematik u. Datenverarbeitung mbH, Abt. für Informationswesen, 1976, Als Ms. gedr.
|
|
|
6 |
Topologische Wortmengen, topologische Automaten, zustandsendliche, stetige Abbildungen Valk, Rüdiger. - S[ank]t Augustin : Ges. f. Mathematik u. Datenverarbeitung mbH, 1972, Als Ms. gedr.
|
|