Repository | People

155768

References

Hoang Nga Nguyen

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

2009

with Alechina Natasha, Logan Brian, Rakib Abdur

Synthese 169/2

Open Access Link