Data-independent versus data-dependent computations on multi-head automataMarkus HolzerÉpuisé4,3Prévenez-moi
Modellierung und Analyse verzögerungs-unabhängiger Schaltungen mit PetrinetzenDominik GommÉpuisé4,3Prévenez-moi