Integrating NorduGrid system with Uppaal verification tool

Student thesis: Master thesis (including HD thesis)

  • Dong Liu
  • Hoang Thi Thu Huong
4. term, Computer Science, Master (Master Programme)
LanguageEnglish
Publication dateJun 2004
ID: 61061379