Susanne Graf
Autor de Model Checking Software (SPIN 2004)
Series
Obras de Susanne Graf
Verdachts- und ereignisunabhängige Personenkontrollen polizeirechtliche und verfassungsrechtliche Aspekte der… (2006) 2 copias
Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October… (2006) 1 copia
Formal techniques for distributed objects, components, and systems : 35th IFIP WG 6.1 International Conference, FORTE… (2015) 1 copia
Etiquetado
Conocimiento común
Miembros
Estadísticas
- Obras
- 9
- Miembros
- 19
- Popularidad
- #609,294
- ISBNs
- 12
- Idiomas
- 1