Boosting Lazy Abstraction for SystemC with Partial Order Reduction / Cimatti, Alessandro; Narasamdya, Iman; Roveri, M. - STAMPA. - 6605:(2011), pp. 341-356. (Intervento presentato al convegno TACAS 2011 tenutosi a Saarbrucken, Germany nel 26/03/2011-03/04/2011) [10.1007/978-3-642-19835-9_31].
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