Model Checking of Distributed Algorithm Implementations
Event details
| Date | 18.03.2011 |
| Hour | 16:00 |
| Speaker | Monsieur Maysam Yabandeh |
| Location | |
| Category | Thesis defenses |
Directeurs de thèse : Prof. D. Kostic et Prof. R. Guerraoui
Informatique
Practical information
- General public
- Free