SYNASC 2014

The paper: “CTL Model Cheking in the Cloud Using MapReduce” has been accepted for presentation at SYNASC 2014 conference. http://synasc.ro/2014/

 

Advertisements