Not registered as user yet

Name: Henning Günther

Affiliation: Technische Universität Wien

Contributions

VMCAI 2017Author of Dynamic Reductions for Model Checking Concurrent Software. within the VMCAI-track