Petri nets with inhibitor and read arcs semantics, analysis and application to process calculi dottorato di ricerca in logica matematica ed informatica teorica tesi di dottorato
1998
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/20.500.14242/292413
Il codice NBN di questa tesi è
URN:NBN:IT:UNISI-292413