Waiting for locks: How long does it usually take?
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Persons and affiliations
- Marcus Daum - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)
- Sascha Klüppelholz - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)
- Steffen Märcker - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)
Date
27 Aug 2012 → 28 Aug 2012
Description
Workshop
| Title | 17th International Workshop on Formal Methods for Industrial Critical Systems |
|---|---|
| Abbreviated title | FMICS 2012 |
| Conference number | |
| Duration | 27 - 28 August 2012 |
| Degree of recognition | International event |
| Location | |
| City | Paris |
| Country | France |