On Model Checking Techniques for Randomized Distributed Systems
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Persons and affiliations
Date
9 Oct 2010 → 15 Oct 2010
Description
Speaker: Prof. Dr. rer. nat. habil. Christel BaierEvent: IFM
Inviting institution: University of Nancy
Location: Nancy
Country: Frankreich
Duration of event: 09.10.2010-15.10.2010
Conference
| Title | 8th International Conference on Integrated Formal Methods |
|---|---|
| Abbreviated title | IFM 2010 |
| Conference number | |
| Duration | 11 - 14 October 2014 |
| Location | |
| City | Nancy |
| Country | France |