Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: "120078422"
im Bestand: Gesamter Bestand

1 - 10 von 20

	1	Correctness proofs of distributed algorithms Reisig, Wolfgang. - Berlin : Professoren des Inst. für Informatik, 1994
	2	Formal methods for concurrent systems design Reisig, Wolfgang. - Berlin : Professoren des Inst. für Informatik, [1994]
	3	Progress in Petri nets Reisig, Wolfgang. - Berlin : Professoren des Inst. für Informatik, 1994
	4	Verteiltes Rechnen: Im wesentlichen das Herkömmliche oder etwas grundlegend Neues? Reisig, Wolfgang. - Berlin : Präsidentin der Humboldt-Univ., 1994
	5	A primer in Petri net design Reisig, Wolfgang. - Berlin : Springer, 1992
	6	Elements of a temporal logic coping with concurrency Reisig, Wolfgang. - München : SFB 342, 1992
	7	The synthesis problem of Petri nets Desel, Jörg. - München : SFB 342, 1992
	8	Concurrent temporal logic Reisig, Wolfgang. - München : TUM, SFB 342, 1991
	9	Petrinetze Reisig, Wolfgang. - Sankt Augustin : GMD, 1990
	10	Petri nets and abstract data types Reisig, Wolfgang. - München : Bibliothek d. Fak. für Mathematik u. Informatik, TUM, 1989