Not registered as user yet

Name:Arvin Zakeriyan
Affiliation:University of Tehran

Contributions

AGERE! 2015 Author of Jacco: More Efficient Model Checking Toolset for Java Actor Programs within the AGERE-track