APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Clarke, E.M, O. Grumberg, M. Minea, and 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.

MLA (9th ed.) Citation

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.