SPLASH 2012 (series) / Joseph Sifakis
Not registered as user yet
Name:Joseph Sifakis
Contributions
| AGERE 2012 | Optimized distributed implementation of multiparty interactions with observation | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2012-profile
View general profile
View general profile