Wang, Q., Chen, M., Xue, B., Zhan, N., & Katoen, J. (2022). Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming. Information and computation, 289, 104965. https://doi.org/10.1016/j.ic.2022.104965
Citace podle Chicago (17th ed.)Wang, Qiuye, Mingshuai Chen, Bai Xue, Naijun Zhan, a Joost-Pieter Katoen. "Encoding Inductive Invariants as Barrier Certificates: Synthesis via Difference-of-convex Programming." Information and Computation 289 (2022): 104965. https://doi.org/10.1016/j.ic.2022.104965.
Citace podle MLA (9th ed.)Wang, Qiuye, et al. "Encoding Inductive Invariants as Barrier Certificates: Synthesis via Difference-of-convex Programming." Information and Computation, vol. 289, 2022, p. 104965, https://doi.org/10.1016/j.ic.2022.104965.