Search results for: Klaus Schneider
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Posters > 321-326
Lecture Notes in Computer Science > Higher Order Logic Theorem Proving and Its Applications > 213-226
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 279-293
Lecture Notes in Computer Science > Higher Order Logic Theorem Proving and Its Applications > 391-406
Lecture Notes in Computer Science > Higher Order Logic Theorem Proving and Its Applications > 101-114
Lecture Notes in Computer Science > Knowledge-Based and Intelligent Information and Engineering Systems > Model-Based Computing for Innovative Engineering > 167-176
IFIP — The International Federation for Information Processing > Distributed, Parallel and Biologically Inspired Systems > Distributed Architectures and Design Support > 169-180
Erfolgskonzepte Praxis- & Krankenhaus-Management > Honorararzt –Flexibilität und Freiberuflichkeit > 47-73
Innovations in Systems and Software Engineering > 2016 > 12 > 1 > 27-40
Geomechanics and Tunnelling > 8 > 6 > 472 - 480
International Journal of Parallel Programming > 2015 > 43 > 1 > 86-129