Showing 1 - 1 results of 1 for search 'Abdul Bujang, Siti Diana', query time: 0.02s
Refine Results
-
1
Analysis on the model checking agent for SMS Management System verification using temporal logic by Abdul Bujang, Siti Diana, Selamat, Ali, Mohamad, Radziah
Published 2009
Conference or Workshop Item