Eike Hagen Riedemann
Hat mitgewirkt an:
-
The control of parallel computations by labeled Petri nets, a study in terms of multiple-firing automata and parallel program schemata
-
Testmethoden für sequentielle und nebenläufige Software-Systeme
-
The control of parallel computations by labeled Petri nets : a study in terms of multiple-firing automata and parallel program schemata
-
Kodierung sequentieller Automaten