Search results for: Michael Mendler
Acta Diabetologica > 2018 > 55 > 6 > 585-592
Journal of Diabetes and its Complications > 2017 > 31 > 2 > 304-310
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Contributions > 201-216
Lecture Notes in Computer Science > CONCUR 2003 - Concurrency Theory > Compositional Methods and Real Time > 461-476
Lecture Notes in Computer Science > Theorem Proving with Analytic Tableaux and Related Methods > 261-277
Lecture Notes in Computer Science > CONCUR 2002 — Concurrency Theory > Models of Computation, Process Algebra > 386-401
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 183-202
Lecture Notes in Computer Science > TAPSOFT '95: Theory and Practice of Software Development > 620-635