Data-independent versus data-dependent computations on multi-head automataMarkus HolzerAgotado4,3Notifícame
Modellierung und Analyse verzögerungs-unabhängiger Schaltungen mit PetrinetzenDominik GommAgotado4,3Notifícame