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 not available from this repository.
Item Type: Conference or Workshop Item (UNSPECIFIED)
Language: English
Title: TICC: A Tool for Interface Compatibility and Composition
Creators:
CreatorsEmail
Faella, MarcoUNSPECIFIED
Autor/s: B.T. Adler, L. de Alfaro, L. Dias Da Silva, M. Faella, A. Legay, V. Raman, P. Roy
Date: 2006
Number of Pages: 0
Department: Scienze fisiche
Identification Number: 10.1007/11817963
Event Title: 18th International Conference on Computer Aided Verification (CAV)
Event Location: Seattle, USA
Event Dates: August, 2006
Title of Book: Lecture Notes in Computer Science
Place of Publication: Berlin
Publisher: Springer
Date: 2006
ISBN: 978-3-540-37406-0
Volume: 4144
Page Range: pp. 59-62
Number of Pages: 0
Identification Number: 10.1007/11817963
Date Deposited: 18 Oct 2010 08:15
Last Modified: 30 Apr 2014 19:41
URI: http://www.fedoa.unina.it/id/eprint/5627

Actions (login required)

View Item View Item