Search results for: Michael Huth
Advanced Functional Materials > 32 > 36 > n/a - n/a
Physik in unserer Zeit > 51 > 2 > 64 - 71
physica status solidi (b) > 256 > 9 > n/a - n/a
physica status solidi (b) > 256 > 9 > n/a - n/a
physica status solidi (RRL) – Rapid Research Letters > 13 > 1 > n/a - n/a
Advanced Functional Materials > 28 > 19 > n/a - n/a
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > Session 9(b) > 369-380
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Temporal Logics and Systems > 302-316
Lecture Notes in Computer Science > Validation of Stochastic Systems > Deductive Verification of Stochastic Systems > 419-444
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > 112-126
Lecture Notes in Computer Science > Process Algebra and Probabilistic Methods: Performance Modeling and Verification > Selected Papers > 115-134
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 112-126