On Model Checking Techniques for Randomized Distributed Systems
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Persons and affiliations
Date
28 Nov 2010 → 5 Dec 2010
Description
Speaker: Prof. Dr. rer. nat. habil. Christel BaierInviting institution: Carnegie Mellon University (CMU)
Location: Pittsburgh
Country: USA
Duration of event: 28.11.2010-05.12.2010
Related external organisation
| Organisation | Carnegie Mellon University |
|---|