APA (7th ed.) Citation

Uchihira, N., & Honiden, S. (1996). Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. The Journal of systems and software, 33(3), 207-221. https://doi.org/10.1016/0164-1212(96)00021-0

Chicago Style (17th ed.) Citation

Uchihira, Naoshi, and Shinichi Honiden. "Compositional Adjustment of Concurrent Programs to Satisfy Temporal Logic Constraints in MENDELS ZONE." The Journal of Systems and Software 33, no. 3 (1996): 207-221. https://doi.org/10.1016/0164-1212(96)00021-0.

MLA (9th ed.) Citation

Uchihira, Naoshi, and Shinichi Honiden. "Compositional Adjustment of Concurrent Programs to Satisfy Temporal Logic Constraints in MENDELS ZONE." The Journal of Systems and Software, vol. 33, no. 3, 1996, pp. 207-221, https://doi.org/10.1016/0164-1212(96)00021-0.