Search results for: Stephan Merz
Hearing Research > 2017 > 345 > C > 52-56
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 424-439
Lecture Notes in Computer Science > Integrated Formal Methods > Verification and Validation > 380-397
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 41-76
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Satisfiability > 167-181
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > UML Models and Model Checking > 395-414
Lecture Notes in Computer Science > FM’99 — Formal Methods > Formal Description of Programming Concepts (IFIP WG 2.2) > 1226-1244
Lecture Notes in Computer Science > Automated Reasoning > Verification > 142-148
Lecture Notes in Computer Science > Modeling and Verification of Parallel Processes > Tutorials and Papers > 3-38
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Mobile Computing > 87-101