Desel, Jörg; Kindler, Ekkart: Proving Correctness of Distributed Algorithms - A Petri Net Approach - Bericht 348, AIFB Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Karlsruhe 1997, pp. 15.

THEMES: Desel, Jörg | Kindler, Ekkart
YEAR: 1997
Login Login
User: Anonymous


PLACES: Karlsruhe
TIME: 1997