Eindhoven University of Technology
Post-Doc, Mathematics and Computer Science
Thesis Title: Looking Good, Behaving Well: Behavioural Verification and Visualization of Formal Models of Concurrent Systems
|
Kurt Jensen
Lars M. Kristensen |
Contact Information
| Homepage: |
