APA Citation

Selamat, A. (2011). Analyzing model checking approach for multi agent system verification.

Chicago Style Citation

Selamat, Ali. Analyzing Model Checking Approach for Multi Agent System Verification. 2011.

MLA Citation

Selamat, Ali. Analyzing Model Checking Approach for Multi Agent System Verification. 2011.

Warning: These citations may not always be 100% accurate.