%0 Conference Paper %1 conf/mochart/AlechinaBGJLS06 %A Alechina, Natasha %A Bertoli, Piergiorgio %A Ghidini, Chiara %A Jago, Mark %A Logan, Brian %A Serafini, Luciano %B MoChArt %D 2006 %E Edelkamp, Stefan %E Lomuscio, Alessio %I Springer %K dblp %P 19-34 %T Verifying Space and Time Requirements for Resource-Bounded Agents. %U http://dblp.uni-trier.de/db/conf/mochart/mochart2006.html#AlechinaBGJLS06 %V 4428 %@ 978-3-540-74127-5

@inproceedings{conf/mochart/AlechinaBGJLS06, added-at = {2021-12-08T00:00:00.000+0100}, author = {Alechina, Natasha and Bertoli, Piergiorgio and Ghidini, Chiara and Jago, Mark and Logan, Brian and Serafini, Luciano}, biburl = {https://www.bibsonomy.org/bibtex/264a7b0751fa6a2dee6860be4ece8f3f0/dblp}, booktitle = {MoChArt}, crossref = {conf/mochart/2006}, editor = {Edelkamp, Stefan and Lomuscio, Alessio}, ee = {https://doi.org/10.1007/978-3-540-74128-2_2}, interhash = {e935af39873e73a315920928151a42fd}, intrahash = {64a7b0751fa6a2dee6860be4ece8f3f0}, isbn = {978-3-540-74127-5}, keywords = {dblp}, pages = {19-34}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T22:16:19.000+0200}, title = {Verifying Space and Time Requirements for Resource-Bounded Agents.}, url = {http://dblp.uni-trier.de/db/conf/mochart/mochart2006.html#AlechinaBGJLS06}, volume = 4428, year = 2006 }