Model checking agent programs by using the program interpreter

Research output: Contribution to journalArticleScientificpeer-review

Original languageEnglish
Pages (from-to)219-237
Number of pages19
JournalLecture Notes in Computer Science
Volume3900
Publication statusPublished - 2010

Keywords

  • CWTS JFIS < 0.75

Cite this