Search results for: Stefan Kiefer
Environmental Earth Sciences > 2019 > 78 > 8 > 1-14
Ore Geology Reviews > 2017 > 89 > C > 894-908
Mineralogy and Petrology > 2018 > 112 > 1 > 1-23
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Program Analysis and Semantics > 440-455
Lecture Notes in Computer Science > Automata, Languages and Programming > Session B7: Specification and Verification > 466-477
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Refinement > 489-503
Lecture Notes in Computer Science > Automata, Languages and Programming > Session 9-Track B. Probabilistic Computation > 539-550
Lecture Notes in Computer Science > Automata, Languages and Programming > Session B4: Probabilistic Systems > 319-331
Lecture Notes in Computer Science > STACS 2007 > Session 5B > 296-307
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Probabilistic Systems > 296-310
Crystal Research and Technology > 51 > 2 > 129 - 136
Information Processing Letters > 2016 > 116 > 2 > 111-115