Thang, N. T. Specification and verification of inter-component constraints in CTL. Software engineering notes..
Citace podle Chicago (17th ed.)Thang, Nguyen Truong. "Specification and Verification of Inter-component Constraints in CTL." Software Engineering Notes. .
Citace podle MLA (9th ed.)Thang, Nguyen Truong. "Specification and Verification of Inter-component Constraints in CTL." Software Engineering Notes., .
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..