Search results for: Hardi Hungar
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Invited Tutorials > 5-19
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 276-291
Lecture Notes in Computer Science > Model-Based Engineering of Embedded Real-Time Systems > Modeling > 201-237
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Model and Program Analysis > 80-95
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 1999 > Model Checking > 149-159
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 425-440
Lecture Notes in Computer Science > Radical Innovations of Software and Systems Engineering in the Future > 167-183
Lecture Notes in Computer Science > STACS 93 > 428-439
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > Session 7 > 283-294
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 109-120