Formal Verification for Interaction Protocol in Agent-Based E-Learning System Using Model Checking Toolkit - MCMAS Chapter uri icon

publication date

  • 2011

International Standard Book Number (ISBN) 13

  • 9783642221903
  • 9783642221910

number of pages

  • 14

start page

  • 412

end page

  • 426