SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
SPLASH 2014 (series) / Ramtin Khosravi

Not registered as user yet

Name: Ramtin Khosravi

Contributions

AGERE!Author of Efficient TCTL Model Checking Algorithm for Timed Actors within the AGERE!-track
Author of Event-based Analysis of Timed Rebeca Models using SQL within the AGERE!-track
Show activities from other conferences

SPLASH 2014-profile
View general profile