Jafari, Ali, Reykjavik University, School of Computer Science, Iceland
-
Volume 70: Automated Verification of Critical Systems 2014 - Articles
Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.