Not registered as user yet

Name: Florian Zuleger

Country: Austria

Affiliation: Vienna University of Technology

Contributions

VMCAI 2021 Author of Eliminating Message Counters in Synchronous Threshold Automata within the VMCAI-track