APA (7th ed.) Citation

Cauchi, N., Degiorgio, K., & Abate, A. (2019). StocHy: Automated verification and synthesis of stochastic processes.

Chicago Style (17th ed.) Citation

Cauchi, Nathalie, Kurt Degiorgio, and Alessandro Abate. StocHy: Automated Verification and Synthesis of Stochastic Processes. 2019.

MLA (9th ed.) Citation

Cauchi, Nathalie, et al. StocHy: Automated Verification and Synthesis of Stochastic Processes. 2019.