Temporal language of transitions and client server systemsDieter BarnardUitverkochtHou mij op de hoogte
Verification of modal properties using Boolean equation systemsAngelika MaderUitverkochtHou mij op de hoogte
Data-independent versus data-dependent computations on multi-head automataMarkus HolzerUitverkochtHou mij op de hoogte
Modellierung und Analyse verzögerungs-unabhängiger Schaltungen mit PetrinetzenDominik GommUitverkochtHou mij op de hoogte
