Universiti Teknologi Malaysia Institutional Repository

Dynamic model checking for multi-agent e-business control and assurances

Selamat, Ali and Abdul Bujang, Siti Dianah (2007) Dynamic model checking for multi-agent e-business control and assurances. In: The 3rd Malaysia Software Engineering Conference 2007, 12 – 13 December 2007, Kuala Lumpur, Malaysia.

Full text not available from this repository.


Item Type:Conference or Workshop Item (Paper)
Additional Information:Palace Beach & Spa (MINES), Selangor, 2007
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions:Computer Science and Information System (Formerly known)
ID Code:25080
Deposited By: Ramli Haron
Deposited On:08 May 2012 05:14
Last Modified:08 May 2012 05:14

Repository Staff Only: item control page