Desel, Jörg: Semi-Entscheidungsverfahren für Fakten und Ziele von Petrinetzen - Forschungsberichte - Bericht 349, AIFB Institut für angewandte Informatik und formale beschreibungsverfahren, Universität Karlsruhe, pp. 16.

THEMES: Desel, Jörg
YEAR: 2001
Login Login
User: Anonymous


ORGANIZATIONS: Universität Karlsruhe
PLACES: Karlsruhe