Search results for: Gianfranco Ciardo
Lecture Notes in Computer Science > Performance Evaluation of Computer and Communication Systems > 587-612
Lecture Notes in Computer Science > Computer Performance Evaluation Modelling Techniques and Tools > 44-57
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Symbolic Verification > 328-342
Lecture Notes in Computer Science > Petri Nets and Other Models of Concurrency – ICATPN 2007 > Full Papers > 83-103
Lecture Notes in Computer Science > SOFSEM 2009: Theory and Practice of Computer Science > Regular Papers > 582-594
Lecture Notes in Computer Science > Computer Aided Verification > Session IX: Parallelisation > 268-280
Lecture Notes in Computer Science
Performance Evaluation > 2011 > 68 > 5 > 463-486
Innovations in Systems and Software Engineering > 2011 > 7 > 2 > 141-150
International Journal on Software Tools for Technology Transfer > 2009 > 11 > 2 > 117-131
Formal Methods in System Design > 2007 > 31 > 1 > 63-100
Electronic Notes in Theoretical Computer Science > 2006 > 135 > 2 > 65-80
Electronic Notes in Theoretical Computer Science > 2005 > 128 > 6 > 179-194