Showing 1 - 1 results of 1 for search 'Mahtab, Tazeen, 1981-', query time: 0.02s
Refine Results
-
1
Automated verification of model-based programs under uncertainty by Mahtab, Tazeen, 1981-
Published 2005
Thesis