Search results for: Joachim Klein
Transplant Infectious Disease > 24 > 1 > n/a - n/a
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 2 > 179-194
Lecture Notes in Computer Science > Advances in Databases and Information Systems > Indexing and Caching > 219-234
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The CREDO Project > 41-69
Lecture Notes in Computer Science > Implementation and Application of Automata > Contributed Talks > 51-61
Lecture Notes in Computer Science > Coordination Models and Languages > Verification and Modeling > 247-267
Lecture Notes in Computer Science > Advances in Databases and Information Systems > Research Papers > 305-319
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The CREDO Project > 82-101
Lecture Notes in Computer Science > Formal Methods for Eternal Networked Software Systems > Formal Foundations for Connectors > 114-147
Lecture Notes in Computer Science > Implementation and Application of Automata > Technical Contributions > 199-212
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Formal Methods in Model-Driven Development for Service-Oriented and Cloud Computing > 97-111
Journal of Computer and System Sciences > 2015 > 81 > 1 > 258-287
Acta Informatica > 2015 > 52 > 4-5 > 443-482
Russian Literature > 2014 > 75 > 1-4 > 305-319