Archivio Istituzionale della Ricercae
Centralized vs. distributed implementation of FSM equivalence verification on a parallel system / Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo. - STAMPA. - (1992), pp. 554-557. (Intervento presentato al convegno EWPC '92 : the European Workshops on Parallel Computing: from theory to sound practic tenutosi a Barcelona (Spain) nel Mar 23-24, 1992).
Centralized vs. distributed implementation of FSM equivalence verification on a parallel system
CAMURATI, Paolo Enrico;PRINETTO, Paolo Ernesto;REBAUDENGO, Maurizio;SONZA REORDA, Matteo
1992
Abstract
e
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS 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/11583/2501431
Attenzione
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo