Susanne Graf
Susanne Graf has been associated with 32 events and has a lot in common with Joseph Sifakis, Iulian Ober and Laurent Mounier. Susanne's main research interests are model, computer and case studies.
Are you Susanne Graf? Then click the "Claim!" button to claim ownership of this page. (You will be asked to sign up and log in first.)
If you happen to know who this is, you can send Susanne an invitation:
The owner of this page can edit his or her biography, post whiteboard entries, and get a personalized deadline calendar.
tracker for Susanne Graf
December 15, 2008
6th international colloquium on theoretical aspects of computing (ICTAC 2009) was added.
- People: Susanne Graf
December 15, 2008
7th international symposium on automated technology for verification and analysis (ATVA 2009) was added.
- People: Susanne Graf
December 2, 2008
- People: Susanne Graf
November 19, 2008
Abstract state machines (asm), alloy, b and z (ABZ10) was updated.
- People: Susanne Graf
Facts
Unable to load Flash content. The YUI Charts Control requires Flash Player 9.0.45 or higher. You can download the latest version of Flash Player from the Adobe Flash Player Download Center.