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

Il contenuto (Full text) non è disponibile all'interno di questo archivio.
Tipologia del documento: Contributo a Convegno o Workshop ([non definito])
Lingua: English
Titolo: TICC: A Tool for Interface Compatibility and Composition
Autori:
AutoreEmail
Faella, Marco[non definito]
Autore/i: B.T. Adler, L. de Alfaro, L. Dias Da Silva, M. Faella, A. Legay, V. Raman, P. Roy
Data: 2006
Numero di pagine: 0
Dipartimento: Scienze fisiche
Numero identificativo: 10.1007/11817963
Titolo dell'evento: 18th International Conference on Computer Aided Verification (CAV)
Luogo dell'evento: Seattle, USA
Data dell'evento: August, 2006
Titolo dell'opera che contiene il documento: Lecture Notes in Computer Science
Luogo di pubblicazione: Berlin
Editore: Springer
Data: 2006
ISBN: 978-3-540-37406-0
Volume: 4144
Intervallo di pagine: pp. 59-62
Numero di pagine: 0
Numero identificativo: 10.1007/11817963
Depositato il: 18 Ott 2010 08:15
Ultima modifica: 30 Apr 2014 19:41
URI: http://www.fedoa.unina.it/id/eprint/5627

Actions (login required)

Modifica documento Modifica documento