Hermanns, Holger, University of Saarland, School of Computer Science, Germany
-
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.