From PSL to NBA: a Modular Symbolic Encoding / Cimatti, Alessandro; Roveri, Marco; Semprini, Simone; Tonetta, Stefano. - (2006), pp. 125-133. (Intervento presentato al convegno FMCAD tenutosi a San Jose, CA, USA nel 12/11/2006-16/11/2006) [10.1109/FMCAD.2006.19].
From PSL to NBA: a Modular Symbolic Encoding
Alessandro Cimatti;Marco Roveri;Stefano Tonetta
2006-01-01
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