Probabilistic and Stochastic Model Checking
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Persons and affiliations
Date
22 Jun 2010
Description
Speaker: Prof. Dr. rer. nat. habil. Christel BaierEvent: School on Formal Methods (QAPL)
Inviting institution: CRU Berinoro, University of Urbino
Location: Bertinoro
Country: Italien
Duration of event: 22.06.2010-22.06.2010
Conference
| Title | School on Formal Methods (QAPL) |
|---|---|
| Conference number | |
| Duration | 22 June 2010 |
| Location | CRU Berinoro, University of Urbino |
| City | Bertinoro |
| Country | Italy |