Model checking agent programs by using the program interpreter

STQ Jongmans, KV Hindriks, MB van Riemsdijk

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	English
Pages (from-to)	219-237
Number of pages	19
Journal	Lecture Notes in Computer Science
Volume	3900
Publication status	Published - 2010

Keywords

@article{4f8184efc5bc443e9d9d635e7722aa3c,

title = "Model checking agent programs by using the program interpreter",

keywords = "CWTS JFIS < 0.75",

author = "STQ Jongmans and KV Hindriks and {van Riemsdijk}, MB",

year = "2010",

language = "English",

volume = "3900",

pages = "219--237",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer",

}