Search results for: Monika Maidl
Lecture Notes in Computer Science > Formal Techniques for Computer Systems and Business Processes > WS-FM > 200-214
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Security and Dependability > 415-428
Lecture Notes in Computer Science > Automated Reasoning > Saturation-Based Theorem Proving > 137-151
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Verification of Parameterized Systems > 128-143
Datenschutz und Datensicherheit - DuD > 2007 > 31 > 11 > 810-815