SPLASH 2012 (series) / Ilham W. Kurnia
Not registered as user yet
Name: Ilham W. Kurnia
Contributions
| AGERE 2012 | 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
View general profile