APA (7th ed.) Citation

Nazarpour, H., Falcone, Y., Bensalem, S., & Bozga, M. (2017). Concurrency-preserving and sound monitoring of multi-threaded component-based systems: Theory, algorithms, implementation, and evaluation. Formal aspects of computing, 29(6), 951-986. https://doi.org/10.1007/s00165-017-0422-6

Chicago Style (17th ed.) Citation

Nazarpour, Hosein, Yliès Falcone, Saddek Bensalem, and Marius Bozga. "Concurrency-preserving and Sound Monitoring of Multi-threaded Component-based Systems: Theory, Algorithms, Implementation, and Evaluation." Formal Aspects of Computing 29, no. 6 (2017): 951-986. https://doi.org/10.1007/s00165-017-0422-6.

MLA (9th ed.) Citation

Nazarpour, Hosein, et al. "Concurrency-preserving and Sound Monitoring of Multi-threaded Component-based Systems: Theory, Algorithms, Implementation, and Evaluation." Formal Aspects of Computing, vol. 29, no. 6, 2017, pp. 951-986, https://doi.org/10.1007/s00165-017-0422-6.