Journal | Authors
Verifying time, memory and communication bounds in systems of reasoning agents
2009
Natasha AlechinaBrian LoganHoang Nga NguyenAbdur Rakib
Synthese 169/2