Petikan APA

Abdul Bujang , S. D. (2010). A model checking agent for mobile short message service application.

Petikan Gaya Chicago

Abdul Bujang , Siti Dianah. A Model Checking Agent for Mobile Short Message Service Application. 2010.

Petikan MLA

Abdul Bujang , Siti Dianah. A Model Checking Agent for Mobile Short Message Service Application. 2010.

Amaran: Petikan-petikan ini tidak semestinya 100% tepat.