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