Data-independent versus data-dependent computations on multi-head automataMarkus HolzerVypredanáPostrážiť
Modellierung und Analyse verzögerungs-unabhängiger Schaltungen mit PetrinetzenDominik GommVypredanáPostrážiť
