A unified signal transition graph model for asynchronous control circuit synthesis / A. V., Yakovlev; Lavagno, Luciano; A., SANGIOVANNI VINCENTELLI. - In: FORMAL METHODS IN SYSTEM DESIGN. - ISSN 0925-9856. - (1996).

A unified signal transition graph model for asynchronous control circuit synthesis.

LAVAGNO, Luciano;
1996

1996
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/1667503
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo