A probabilistic quantitative analysis of probabilistic-write/copy-select
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Persons and affiliations
- Sascha Klüppelholz - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)
Date
10 May 2013 → 22 May 2013
Description
Conference
| Title | 5th NASA Formal Methods Symposium |
|---|---|
| Abbreviated title | NFM 2013 |
| Conference number | 5 |
| Duration | 14 - 16 May 2013 |
| Degree of recognition | International event |
| City | Moffett Field |
| Country | United States of America |