PADIS

Pubblicazioni Aperte DIgitali Sapienza > Informatica e sistemistica "Antonio Ruberti" > INGEGNERIA INFORMATICA (MINIST.SVIL.ECON.) >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10805/657

Title: Formal Verification: further Complexity Issues and Applications
Authors: Ferrara, Andrea
Tutor: Schaerf, Marco
Keywords: Formal Verification Web Services Model Checking Process Algebra Compilabily Theory
Issue Date: 23-Feb-2006
Publisher: La Sapienza
URI: http://hdl.handle.net/10805/657
Appears in PhD:Tesi di dottorato
INGEGNERIA INFORMATICA (MINIST.SVIL.ECON.)

Files in This Item:

File Description SizeFormat
FerraraAndrea258.pdf619.81 kBAdobe PDF


This item is protected by original copyright

Recommend this item

Items in PADIS are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback Sviluppo e manutenzione a cura del CINECA