Author:Hans-Jörg Schurr

Publications
Capability Discovery for Automated Reasoning Systems Alexander Steen, Max Wisniewski, Hans-Jörg Schurr and Christoph Benzmüller In:IWIL Workshop and LPAR Short Presentations