TICC: A Tool for Interface Compatibility and Composition

FAELLA, MARCO (2006) TICC: A Tool for Interface Compatibility and Composition. In: 18th International Conference on Computer Aided Verification (CAV), August, 2006, Seattle, USA.

Full text non disponibile da questo archivio.


Tipologia di documento:Contributo in atti di congresso o conferenza (Non specificato)
Settori scientifico-disciplinari MIUR:Non specificato
Stato del full text:Accessibilità ristretta
Data:2006
Altri Autori:B.T. Adler, L. de Alfaro, L. Dias Da Silva, M. Faella, A. Legay, V. Raman, P. Roy
Editore:Springer
Luogo di pubblicazione:Berlin
Numero di pagine:0
Intervallo di pagina:pp. 59-62
Volume:4144
Dipartimento o Struttura:Dipartimento di Scienze Fisiche
ISBN:978-3-540-37406-0
Titolo dell'evento:18th International Conference on Computer Aided Verification (CAV)
Luogo dell'Evento:Seattle, USA
Data dell'evento:August, 2006
Numero identificativo:10.1007/11817963
Numero di sistema:5627
Depositato il:18 Ottobre 2010 10:15
Ultima modifica:18 Ottobre 2010 10:15

Solo per gli Amministratori dell'archivio: edita il record