SPLASH 2014 (series) / Marjan Sirjani

Registered user since Wed 30 Sep 2020
Name:Marjan Sirjani
Country:Iceland
Affiliation:Reykjavik University
Contributions
AGERE! | Efficient TCTL Model Checking Algorithm for Timed Actors Event-based Analysis of Timed Rebeca Models using SQL Committee Member in Program Committee | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2014-profile
View general profile
View general profile