Search results for: Gerald Lüttgen
Acta Informatica > 2019 > 56 > 4 > 287-319
Lecture Notes in Computer Science > SOFSEM 2009: Theory and Practice of Computer Science > Regular Papers > 376-387
Lecture Notes in Computer Science > Application and Theory of Petri Nets 2000 > Full Papers > 103-122
Theoretical Computer Science > 2016 > 642 > C > 24-53
Lecture Notes in Computer Science > FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science > Contributions > 312-324
Lecture Notes in Computer Science > Model Checking Software > Satisfiability Modulo Theories for Model Checking > 4-21
Lecture Notes in Computer Science > CONCUR 2003 - Concurrency Theory > Compositional Methods and Real Time > 461-476
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Rule Formats and Bisimulation > 79-94
Lecture Notes in Computer Science > CONCUR 2002 — Concurrency Theory > Models of Computation, Process Algebra > 386-401
Lecture Notes in Computer Science > Fundamentals of Software Engineering > Session 2. Regular Papers > 276-291