APA-Zitierstil (7. Ausg.)

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-Zitierstil (17. Ausg.)

Clarke, E.M, O. Grumberg, M. Minea, und 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-Zitierstil (9. Ausg.)

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.