Clarke, E., Grumberg, O., Minea, M., & Peled, D. (1999). State space reduction using partial order techniques. International journal on software tools for technology transfer, 2(3), 279-287. https://doi.org/10.1007/s100090050035
Citace podle Chicago (17th ed.)Clarke, E.M, O. Grumberg, M. Minea, a D. Peled. "State Space Reduction Using Partial Order Techniques." International Journal on Software Tools for Technology Transfer 2, no. 3 (1999): 279-287. https://doi.org/10.1007/s100090050035.
Citace podle MLA (9th ed.)Clarke, E.M, et al. "State Space Reduction Using Partial Order Techniques." International Journal on Software Tools for Technology Transfer, vol. 2, no. 3, 1999, pp. 279-287, https://doi.org/10.1007/s100090050035.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..