Repository | People

155769

References

Abdur Rakib

Verifying time, memory and communication bounds in systems of reasoning agents

2009

with Alechina Natasha, Logan Brian, Nguyen Hoang Nga

Synthese 169/2

Open Access Link