Susanne Graf
Forfatter af Model Checking Software (SPIN 2004)
Serier
Værker af Susanne Graf
Verdachts- und ereignisunabhängige Personenkontrollen polizeirechtliche und verfassungsrechtliche Aspekte der… (2006) 2 eksemplarer
Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October… (2006) 1 eksemplar
Formal techniques for distributed objects, components, and systems : 35th IFIP WG 6.1 International Conference, FORTE… (2015) 1 eksemplar
Satte nøgleord på
Almen Viden
Medlemmer
Statistikker
- Værker
- 9
- Medlemmer
- 19
- Popularitet
- #609,294
- ISBN
- 12
- Sprog
- 1