%0 Generic %1 Alechina:MoChArt-06:2006 %A Alechina, Natasha %A Bertoli, Piergiorgio %A Ghidini, Chiara %A Jago, Mark %A Logan, Brian %A Serafini, Luciano %B proceedings of Fourth Workshop on Model Checking and Artificial Intelligence (MoChArt-06) %C Riva del Garda, Italy %D 2006 %I Springer %K bounded reasoning resource %P 19--34 %T Verifying space and time requirements for resource-bounded agents %V 4428/2007

@conference{Alechina:MoChArt-06:2006, added-at = {2009-06-02T16:23:00.000+0200}, address = {Riva del Garda, Italy}, author = {Alechina, Natasha and Bertoli, Piergiorgio and Ghidini, Chiara and Jago, Mark and Logan, Brian and Serafini, Luciano}, biburl = {https://www.bibsonomy.org/bibtex/279bd24a785e8873ce806daf16dd36701/cghidini}, booktitle = {proceedings of Fourth Workshop on Model Checking and Artificial Intelligence (MoChArt-06)}, date-added = {2008-07-04 09:51:23 +0200}, date-modified = {2008-07-04 11:25:11 +0200}, interhash = {e935af39873e73a315920928151a42fd}, intrahash = {79bd24a785e8873ce806daf16dd36701}, keywords = {bounded reasoning resource}, month = {August 28th}, pages = {19--34}, publisher = {Springer}, series = {LNCS}, timestamp = {2009-06-02T16:38:29.000+0200}, title = {Verifying space and time requirements for resource-bounded agents}, volume = {4428/2007}, year = 2006 }