Login / Signup

Applying Type Theory to Formal Specification of Recursive Multiagent Systems.

Thi-Thanh-Ha HoangMichel OccelloThanh Binh Nguyen
Published in: RIVF (2009)
Keyphrases