Citace podle APA (7th ed.)

Mateescu, R. (2006). CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems. International journal on software tools for technology transfer, 8(1), 37-56. https://doi.org/10.1007/s10009-005-0194-9

Citace podle Chicago (17th ed.)

Mateescu, Radu. "CAESAR_SOLVE: A Generic Library for On-the-fly Resolution of Alternation-free Boolean Equation Systems." International Journal on Software Tools for Technology Transfer 8, no. 1 (2006): 37-56. https://doi.org/10.1007/s10009-005-0194-9.

Citace podle MLA (9th ed.)

Mateescu, Radu. "CAESAR_SOLVE: A Generic Library for On-the-fly Resolution of Alternation-free Boolean Equation Systems." International Journal on Software Tools for Technology Transfer, vol. 8, no. 1, 2006, pp. 37-56, https://doi.org/10.1007/s10009-005-0194-9.

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