ISO-690 (author-date, English)

TRAN, Hoang-Viet und HUNG, Pham Ngoc, 2021. A Counterexample Analysis Method for Assume-Guarantee Verification of Component-Based Software. In: . 10 November 2021.

Elsevier - Harvard (with titles)

Tran, H.-V., Hung, P.N., 2021. A Counterexample Analysis Method for Assume-Guarantee Verification of Component-Based Software, in: . https://doi.org/10.1109/KSE53942.2021.9648741

American Psychological Association 7th edition

Tran, H.-V., & Hung, P. N. (2021, November 10). A Counterexample Analysis Method for Assume-Guarantee Verification of Component-Based Software. https://doi.org/10.1109/KSE53942.2021.9648741

Springer - Basic (author-date)

Tran H-V, Hung PN (2021) A Counterexample Analysis Method for Assume-Guarantee Verification of Component-Based Software

Juristische Zitierweise (Stüber) (Deutsch)

Tran, Hoang-Viet/ Hung, Pham Ngoc, A Counterexample Analysis Method for Assume-Guarantee Verification of Component-Based Software, 2021, .

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.