@inproceedings{da5c90238547455dab06c63d24874678,
title = "Model Checking Space and Time Requirements for Resource-Bounded Agents",
author = "Jago, \{Mark T.\}",
year = "2006",
language = "English",
pages = "16--30",
editor = "Stefan Edelkamp and Alessio Lomuscio",
booktitle = "Proceedings of the 4th Workshop on Model Checking and Artificial Intelligence",
publisher = "Springer, Springer Nature",
address = "United States",
note = "4th Workshop on Model Checking and Artificial Intelligence ; Conference date: 29-08-2006",
}