Nagarathinam, Y., & Mohd Sani, N. F. (2014). Distinguishing automata machine by using UPPAAL as a model checker. IJSTR Research.
Chicago Style (17th ed.) CitationNagarathinam, Yogeswaran, and Nor Fazlida Mohd Sani. Distinguishing Automata Machine by Using UPPAAL as a Model Checker. IJSTR Research, 2014.
MLA (9th ed.) CitationNagarathinam, Yogeswaran, and Nor Fazlida Mohd Sani. Distinguishing Automata Machine by Using UPPAAL as a Model Checker. IJSTR Research, 2014.
Warning: These citations may not always be 100% accurate.