Search results for: S Gnesi
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 133-148
Lecture Notes in Computer Science > ESEC '87 > 327-335
Lecture Notes in Computer Science > Applied Formal Methods — FM-Trends 98 > Regular Papers > 228-242
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Verification of Critical Systems > 535-549
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 275-289
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Invited Technical Papers > 1-33
Lecture Notes in Computer Science > CONCURRENCY 88 > 181-196
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 195-215