On Model Checking Techniques for Randomized Distributed Systems
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Persons and affiliations
Date
27 Oct 2010
Description
Speaker: Prof. Dr. rer. nat. habil. Christel BaierInviting institution: Max-Planck-Institut für Informatik
Location: Saarbrücken
Country: Deutschland
Duration of event: 27.10.2010-27.10.2010
Related external organisation
| Organisation | Max Planck Institute for Informatics |
|---|