Send email Copy Email Address
PhD Student

Jesko Hecking-Harbusch



Campus E1 1
66123 Saarbrücken (Germany)

Member of Groups

Publications by Jesko Hecking-Harbusch

Year 2020

Conference / Medium

Lecture Notes in Computer ScienceAutomated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings

Conference / Medium

Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

Year 2019

Conference / Medium

30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands

Conference / Medium

Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings