PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Genrich, Hartmann J."

Author of the publication

copydeleteadd this publication to your clipboard
Surveyor's Forum: Net Progress.

, and . ACM Comput. Surv., 10 (1): 84-85 (1978)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Silke Hartmann University of Stuttgart

Jan Hartmann University of Stuttgart

Dr. -Ing. Gabriele Hartmann University of Stuttgart

J. K\"astner

J. Schwarz

 

Other publications of authors with the same name

Formal Verification of an Arbiter Cascade., and . Application and Theory of Petri Nets, volume 616 of Lecture Notes in Computer Science, page 205-223. Springer, (1992)Projections of C/E systems.. Applications and Theory in Petri Nets, volume 222 of Lecture Notes in Computer Science, page 224-232. Springer, (1985)A Dictionary of Some Basic Notions of Net Theory., and . Advanced Course: Net Theory and Applications, volume 84 of Lecture Notes in Computer Science, page 519-531. Springer, (1979)Substitution Systems - A Family of System Models Based on Concurrency., , and . MFCS, volume 88 of Lecture Notes in Computer Science, page 698-723. Springer, (1980)The Calculus of Facts., and . MFCS, volume 45 of Lecture Notes in Computer Science, page 588-595. Springer, (1976)Surveyor's Forum: Net Progress., and . ACM Comput. Surv., 10 (1): 84-85 (1978)Predicate/Transition Nets.. Advances in Petri Nets, volume 254 of Lecture Notes in Computer Science, page 207-247. Springer, (1986)Belästigung der Menschen durch Computer.. GI Jahrestagung, volume 34 of Lecture Notes in Computer Science, page 94-105. Springer, (1975)Well-Formed Flow Charts for Concurrent Programming., and . Formal Description of Programming Concepts, page 357-382. North-Holland, (1982)A Diagram Editor for Line Drawings with Inscriptions., and . European Workshop on Applications and Theory of Petri Nets, volume 66 of Informatik-Fachberichte, page 112-131. Springer, (1982)