Natasha Alechina's Publications

Verifying space and time requirements for resource-bounded agents (2005)

By: Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, and Luciano

Download Information

Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, and Luciano (2005). "Verifying space and time requirements for resource-bounded agents." Technical report. ITC-irst, T05-10-03. pdf    

Bibtex citation

@techreport{Alechina//:05b,
author =    {Natasha Alechina and Piergiorgio Bertoli and Chiara Ghidini and Mark Jago and Brian Logan and Luciano
title =    {Verifying space and time requirements for resource-bounded agents},
institution =    {{ITC}-irst},
year =    2005,
number =    {T05-10-03},
}

full list