APA (7th ed.) Citation

Thang, N. T. Specification and verification of inter-component constraints in CTL. Software engineering notes..

Chicago Style (17th ed.) Citation

Thang, Nguyen Truong. "Specification and Verification of Inter-component Constraints in CTL." Software Engineering Notes. .

MLA (9th ed.) Citation

Thang, Nguyen Truong. "Specification and Verification of Inter-component Constraints in CTL." Software Engineering Notes., .

Warning: These citations may not always be 100% accurate.