Modellierung und Analyse verzögerungs-unabhängiger Schaltungen mit PetrinetzenDominik GommVyprodánoPohlídat
Data-independent versus data-dependent computations on multi-head automataMarkus HolzerVyprodánoPohlídat
