Desel, Jrg; Kindler, Ekkart: Proving Correctness of Distributed Algorithms - A Petri Net Approach - Bericht 348, AIFB Institut fr Angewandte Informatik und Formale Beschreibungsverfahren, Karlsruhe 1997, pp. 15.

THEMES: Desel, Jrg | Kindler, Ekkart
YEAR: 1997
Login Login
User: Anonymous


PLACES: Karlsruhe
TIME: 1997