Actors_Programming_for_the_Mobile_Cloud.pdf Read more about Actors_Programming_for_the_Mobile_Cloud.pdf
Euclidean Model Checking A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems Read more about Euclidean Model Checking A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems