5 free lookup(s). No credit card required.
Doctor of Philosophy (PhD) (Executing Behavioral Requirements with LSCs - The Play-in / Play-out Approach)
1999-2002M.Sc. (Formal Verification of Distributed Algorithms with Temporal Logic)
1989-1991B.Sc. (Computer Science)
1986-1989Find contact details for 700 million professionals.