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
Citace podle Chicago (17th ed.)Uchihira, Naoshi, a 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.
Citace podle MLA (9th ed.)Uchihira, Naoshi, a 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.