Susanne Graf
| Use attributes for filter ! | |
| Gender | Female |
|---|---|
| Education | HTW Berlin - University of Applied Sciences |
| Books | Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings |
| Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1754723 |