Leungwattanakit, W., Artho, C., Hagiya, M., Tanabe, Y., Yamamoto, M. und Takahashi, K. (2014) „Modular Software Model Checking for Distributed Systems.“, IEEE Transactions on Software Engineering, 40(5), S. 483-501. doi:10.1109/TSE.2013.49.
Chicago Manual of Style 17th edition (full note)Leungwattanakit, Watcharin, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto, und Koichi Takahashi. „Modular Software Model Checking for Distributed Systems.“. IEEE Transactions on Software Engineering 40, Nr. 5 (1. Mai 2014): 483-501. https://doi.org/10.1109/TSE.2013.49.
American Psychological Association 7th editionLeungwattanakit, W., Artho, C., Hagiya, M., Tanabe, Y., Yamamoto, M., & Takahashi, K. (2014). Modular Software Model Checking for Distributed Systems. IEEE Transactions on Software Engineering, 40(5), 483-501. https://doi.org/10.1109/TSE.2013.49
Modern Language Association 9th editionLeungwattanakit, W., C. Artho, M. Hagiya, Y. Tanabe, M. Yamamoto, und K. Takahashi. „Modular Software Model Checking for Distributed Systems.“. IEEE Transactions on Software Engineering, Bd. 40, Nr. 5, Mai 2014, S. 483-01, https://doi.org/10.1109/TSE.2013.49.
ISO-690 (author-date, Deutsch)LEUNGWATTANAKIT, Watcharin, Cyrille ARTHO, Masami HAGIYA, Yoshinori TANABE, Mitsuharu YAMAMOTO und Koichi TAKAHASHI, 2014. Modular Software Model Checking for Distributed Systems. IEEE Transactions on Software Engineering. 1 Mai 2014. Bd. 40, Nr. 5, S. 483-501. DOI 10.1109/TSE.2013.49