LIN, Hsin-Hung, AOKI, Toshiaki und KATAYAMA, Takuya, 2011. Automated Adaptor Generation for Services Based on Pushdown Model Checking. In: . 1 April 2011.
Elsevier - Harvard (with titles)Lin, H.-H., Aoki, T., Katayama, T., 2011. Automated Adaptor Generation for Services Based on Pushdown Model Checking, in: . https://doi.org/10.1109/ECBS.2011.33
American Psychological Association 7th editionLin, H.-H., Aoki, T., & Katayama, T. (2011, April 1). Automated Adaptor Generation for Services Based on Pushdown Model Checking. https://doi.org/10.1109/ECBS.2011.33
Springer - Basic (author-date)Lin H-H, Aoki T, Katayama T (2011) Automated Adaptor Generation for Services Based on Pushdown Model Checking
Juristische Zitierweise (Stüber) (Deutsch)Lin, Hsin-Hung/ Aoki, Toshiaki/ Katayama, Takuya, Automated Adaptor Generation for Services Based on Pushdown Model Checking, 2011, .