Search results for: Harald Fecher
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Formal Methods > 253-267
Lecture Notes in Computer Science > Fundamentals of Software Engineering > Session 2. Regular Papers > 276-291
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 112-126
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 322-336
Lecture Notes in Computer Science > International Symposium on Fundamentals of Software Engineering > 1-16
Lecture Notes in Computer Science > Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems > Regular Papers > 231-245
Lecture Notes in Computer Science > Process Algebra and Probabilistic Methods: Performance Modeling and Verification > Selected Papers > 77-94
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Session 3 > 167-181
International Journal on Software Tools for Technology Transfer > 2011 > 13 > 4 > 289-306
Performance Evaluation > 2010 > 67 > 9 > 858-872
Electronic Notes in Theoretical Computer Science > 2009 > 250 > 1 > 71-86
Electronic Notes in Theoretical Computer Science > 2007 > 192 > 1 > 45-60
Electronic Notes in Theoretical Computer Science > 2006 > 156 > 1 > 79-96
Electronic Notes in Theoretical Computer Science > 2005 > 128 > 6 > 215-230
Electronic Notes in Theoretical Computer Science > 2005 > 128 > 2 > 103-116