Arnd Poetzsch-Heffter

Not registered as user yet

Name: Arnd Poetzsch-Heffter

Affiliation: Technischen Universität Kaiserslautern

Personal website: https://softech.cs.uni-kl.de/homepage/de/staff/PoetzschHeffter/

Contributions

AGERE 2012	Committee Member in Program Committee within the AGERE 2012-track Author of A relational trace logic for simple hierarchical actor-based component systems within the AGERE 2012-track
Show activities from other conferences

SPLASH 2012-profile
View general profile