Jens Christian Godskesen
Original record- Institution
- Aalborg Universitet
- Year
- 1994
- Country
- Denmark
- MGP identifier
- 301855
Dissertation: Timed Modal Specifications: A Theory for Verification of Real-Time Concurrent Systems
Advisor 1
- Kim Guldstrand LarsenThe University of Edinburgh · 1986
Students 0
No students recorded in this snapshot.