APA (7th ed.) Citation

Soleimanifard, S., Gurov, D., & Huisman, M. (2015). Procedure-modular specification and verification of temporal safety properties. Software & Systems Modeling, 14(1), 83. https://doi.org/10.1007/s10270-013-0321-0

Chicago Style (17th ed.) Citation

Soleimanifard, Siavash, Dilian Gurov, and Marieke Huisman. "Procedure-modular Specification and Verification of Temporal Safety Properties." Software & Systems Modeling 14, no. 1 (2015): 83. https://doi.org/10.1007/s10270-013-0321-0.

MLA (9th ed.) Citation

Soleimanifard, Siavash, et al. "Procedure-modular Specification and Verification of Temporal Safety Properties." Software & Systems Modeling, vol. 14, no. 1, 2015, p. 83, https://doi.org/10.1007/s10270-013-0321-0.