Send email Copy Email Address
Postdoc

Benjamin Kiesl

Email

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Member of Groups

Publications by Benjamin Kiesl

Year 2019

Conference / Medium

TACAS
25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019)

Article

Journal of Automated Reasoning

Conference / Medium

ATVA
17th International Symposium on Automated Technology for Verification and Analysis

Conference / Medium

SAT
International Conference on Theory and Applications of Satisfiability Testing