Not registered as user yet

Name: Ramtin Khosravi

SPLASH 2015 Activities

• Author of Jacco: More Efficient Model Checking Toolset for Java Actor Programs within the AGERE-track in AGERE! 2015
• Show activities from other conferences