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