Citace podle APA (7th ed.)

Kobayashi, N., & Li, X. (2015, July). Automata-Based Abstraction Refinement for µHORS Model Checking. 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 713-724. https://doi.org/10.1109/LICS.2015.71

Citace podle Chicago (17th ed.)

Kobayashi, Naoki, a Xin Li. "Automata-Based Abstraction Refinement for µHORS Model Checking." 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science Jul. 2015: 713-724. https://doi.org/10.1109/LICS.2015.71.

Citace podle MLA (9th ed.)

Kobayashi, Naoki, a Xin Li. "Automata-Based Abstraction Refinement for µHORS Model Checking." 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul. 2015, pp. 713-724, https://doi.org/10.1109/LICS.2015.71.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..