Search results for: Gianfranco Ciardo
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Symbolic State Spaces and Decision Diagrams > 379-393
Lecture Notes in Computer Science > Application and Theory of Petri Nets 2000 > Full Papers > 103-122
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 51-66
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Algorithms and Techniques for Speeding (DD-Based) Verification 1 > 146-161
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Short Papers > 432-442
Lecture Notes in Computer Science > Formal Techniques for Computer Systems and Business Processes > Invited Speakers > 15-17
Lecture Notes in Computer Science > SOFSEM 2009: Theory and Practice of Computer Science > Regular Papers > 595-608
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Model Checking: Fixed Points > 256-273
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Temporal Logic II > 368-381
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model Checking > 648-663
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2004 > Invited papers > 17-34
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Symbolic Techniques > 90-104