- edoc-Server Home
- Schriftenreihen und Sammelbände
- Fakultäten und Institute der HU
- Institut für Informatik
- Browsing Institut für Informatik by Author
Browsing Institut für Informatik by Author "Freiheit, Jörn"
Now showing items 1-2 of 2
-
1997-12-01BuchDAWN Petrinetzmodelle zur Verifikation Verteilter AlgorithmenWeber, Michael; Walter, Rolf; Völzer, Hagen; Vesper, Tobias; Reisig, Wolfgang; Peuker, Sybille; Kindler, Ekkart; Freiheit, Jörn; Desel, Jörg
-
1996-08-01BuchPetrinetzmodelle zur Verifikation Verteilter Algorithmen MemorandumWalter, Rolf; Völzer, Hagen; Vesper, Tobias; Reisig, Wolfgang; Kindler, Ekkart; Freiheit, Jörn; Desel, Jörg