Eine auf Petri-Netzen basierende Konstruktions-, Analyse- und (Teil-)Verifikationsmethode zur Modellierungsunterstützung bei der Entwicklung von Informationssystemen
By: Gert Scheschonk
Contributors: Technische Universität Berlin
Published: 1984
Language: ger
Number of pages: 308
Notes: Thesis (doctoral)--Technische Universität Berlin, 1984.