Search results for: Carlo A. Furia
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 128-142
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Contributed Papers > 215-229
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Requirements and Specifications > 127-141
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Automatic Proofs and Provers > 326-340
Lecture Notes in Computer Science > FM 2008: Formal Methods > Session 4. Real-Time and Concurrency > 132-147
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Short Papers > 408-417
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 382-398
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 2. Timed Games and Logic > 109-123
Lecture Notes in Computer Science > Computer and Information Sciences - ISCIS 2004 > Modeling and Performance Evaluation > 718-728