Avellone, A., Ferrari, M., Fiorentini, C., Fiorino, G., Moscato, U. (2005). ESBC: an application for computing stabilization bounds. In Proceedings CLASE (pp.19-28). Edinburgh.

ESBC: an application for computing stabilization bounds

AVELLONE, ALESSANDRO;FIORINO, GUIDO GIUSEPPE;MOSCATO, UGO EMANUELE
2005

paper
combinatorial circuits, harware verification, logic
English
CLASE 2005
2005
Proceedings CLASE
2005
19
28
none
Avellone, A., Ferrari, M., Fiorentini, C., Fiorino, G., Moscato, U. (2005). ESBC: an application for computing stabilization bounds. In Proceedings CLASE (pp.19-28). Edinburgh.
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/364
Citazioni
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
Social impact