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 |