SPLASH 2012 (series) / 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 A relational trace logic for simple hierarchical actor-based component systems | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2012-profile
View general profile
View general profile