Thang, N. T. Specification and verification of inter-component constraints in CTL. Software engineering notes..
Chicago-referens (17:e uppl.)Thang, Nguyen Truong. "Specification and Verification of Inter-component Constraints in CTL." Software Engineering Notes. .
MLA-referens (9:e uppl.)Thang, Nguyen Truong. "Specification and Verification of Inter-component Constraints in CTL." Software Engineering Notes., .
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.