Shahid Jabbar
Original record- Institution
- Technische Universität Dortmund
- Year
- 2008
- Country
- Germany
- MGP identifier
- 132624
Dissertation: External Memory Algorithms for State Space Exploration in Model Checking and Action Planning
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Bernhard SteffenChristian-Albrechts-Universität zu Kiel · 1987
- Stefan EdelkampAlbert-Ludwigs-Universität Freiburg im Breisgau · 1998
Students 0
No students recorded in this snapshot.