Formal Verification of Stochastic Systems
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Persons and affiliations
Date
21 Jun 2006
Description
Speaker: C. BaierEvent: Modeling and Verifying parallel processes, MOVEP'06
Inviting institution: Univ. Bordeaux
Location: Bordeaux
Country: Frankreich
Time:
Conference
| Title | MOdelling and VErifying parallel Processes |
|---|---|
| Abbreviated title | MOVEP 2006 |
| Conference number | |
| Duration | 19 - 23 June 2006 |
| Website | |
| Degree of recognition | International event |
| Location | |
| City | Bordeaux |
| Country | France |