Search results
Lecture Notes in Computer Science > FME '97: Industrial Applications and Strengthened Foundations of Formal Methods > 358-377
Lecture Notes in Computer Science > Frontiers of Combining Systems > Section 2. Technical Papers > 133-147
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 49-63