APA (7th ed.) Citation

Gurung, A., Ray, R., Bartocci, E., Bogomolov, S., & Grosu, R. (2019). Parallel reachability analysis of hybrid systems in XSpeed. International Journal on Software Tools for Technology Transfer, 21(4), 401. https://doi.org/10.1007/s10009-018-0485-6

Chicago Style (17th ed.) Citation

Gurung, Amit, Rajarshi Ray, Ezio Bartocci, Sergiy Bogomolov, and Radu Grosu. "Parallel Reachability Analysis of Hybrid Systems in XSpeed." International Journal on Software Tools for Technology Transfer 21, no. 4 (2019): 401. https://doi.org/10.1007/s10009-018-0485-6.

MLA (9th ed.) Citation

Gurung, Amit, et al. "Parallel Reachability Analysis of Hybrid Systems in XSpeed." International Journal on Software Tools for Technology Transfer, vol. 21, no. 4, 2019, p. 401, https://doi.org/10.1007/s10009-018-0485-6.