Integrating NorduGrid system with Uppaal verification tool
Student thesis: Master Thesis and HD Thesis
- Dong Liu
- Hoang Thi Thu Huong
4. term, Computer Science, Master (Master Programme)
| Language | English |
|---|---|
| Publication date | Jun 2004 |
Documents
- 1087205018.pdf
698 KB, PDF document
Shortcuts
Log inContact AAU
If you have any questions about research registration, dissemination or analysis at Aalborg University, you are always welcome to contact:
The VBN Office
E-mail: vbn@aub.aau.dk