Not registered as user yet

Name: Markus Eger

Contributions

Off the Beaten Track 2017Author of Programming with Epistemic Logic within the OBT-track