On Model Checking Techniques for Randomized Distributed Systems
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Persons and affiliations
Date
13 Dec 2010
Description
Speaker: Prof. Dr. rer. nat. habil. Christel BaierInviting institution: Vrije Universiteit Amsterdam
Location: Amsterdam
Country: Niederlande
Duration of event: 13.12.2010-13.12.2010
Related external organisation
| Organisation | Vrije Universiteit Amsterdam (VU) |
|---|---|
| Links |