Abdul Samad, P., Mohd Zin, A., & Shukur, Z. (2011). Analysis of the model checkers' input languages for modeling traffic light systems. Science Publications.
Chicago Style (17th ed.) CitationAbdul Samad, Pathiah, Abdullah Mohd Zin, and Zarina Shukur. Analysis of the Model Checkers' Input Languages for Modeling Traffic Light Systems. Science Publications, 2011.
MLA (9th ed.) CitationAbdul Samad, Pathiah, et al. Analysis of the Model Checkers' Input Languages for Modeling Traffic Light Systems. Science Publications, 2011.
Warning: These citations may not always be 100% accurate.