Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
1998Distributed algorithms for networks of agents
Reisig, W.; Kindler, E.; Vesper, T.; Völzer, H.; Walter, R.
Book Article
1997DAWN: Petrinetzmodelle zur Verifikation verteilter Algorithmen
Weber, M.; Walter, R.; Völzer, H.; Vesper, T.; Reisig, W.; Peuker, S.; Kindler, E.; Freiheit, J.; Desel, J.
Book
1997Verifikation im Vorgehensmodell anhand eines Beispiels
Fricke, O.; Borusan, A.; Vesper, T.; Kindler, E.
Conference Paper