Formal Verification for Interaction Protocol in Agent-Based E-Learning System Using Model Checking Toolkit - MCMAS Chapter
Identity
Digital Object Identifier (DOI)
International Standard Book Number (ISBN) 13
- 9783642221903
- 9783642221910
Additional Document Info
number of pages
- 14
start page
- 412
end page
- 426