10th VECoS 2016: Tunis, Tunisia

Refine list

showing all ?? records

Session I: Probabilistic verification

Session II: Fault tolerance and performance evaluation

Session III: Model-Checking and Test

Session IV: Protocols and distrubuted systems

a service of  Schloss Dagstuhl - Leibniz Center for Informatics