Improving symbolic reachability analysis by means of activity profiles / CABODI G.; CAMURATI P; QUER S. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - 19(2000), pp. 1065-1075.
Titolo: | Improving symbolic reachability analysis by means of activity profiles |
Autori: | |
Data di pubblicazione: | 2000 |
Rivista: | |
Appare nelle tipologie: | 1.1 Articolo in rivista |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11583/1397880
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.