Hardware specification with the temporal logic TRIO

COEN PORISINI, ALBERTO;
1990

Intl. Workshop on Timing Issues in the Spec. and Synthesis of Digital Systems
Intl. Workshop on Timing Issues in the Spec. and Synthesis of Digital Systems
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/11383/19965
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact