Disjunctive timed networks / Spalazzi, Luca; Spegni, Francesco. - ELETTRONICO. - 1949:(2017), pp. 174-185. (Intervento presentato al convegno Joint 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic, ICTCS 2017 and CILC 2017 tenutosi a ita nel 2017).
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.