Login / Signup

Formally specifying and verifying mobile agents - model checking mobility: the MobiOZ approach.

Kenji TaguchiJin Song Dong
Published in: Int. J. Agent Oriented Softw. Eng. (2008)
Keyphrases