APA (7th ed.) Citation

Crisafulli, P., Taha, S., Wolff, B., SystemX, I., (LMF), L. M. F., Saclay), I. N. d. R. e. I. e. e. A. N. S. P. (. P., . . . IRT SystemX, P. (2021). Modelling and Proving Safety in Autonomous Cars Scenarios in HOL-CSP. https://inria.hal.science/hal-03429597 ; [Research Report] 1, University Paris-Saclay; IRT SystemX, Palaiseau. 2021, pp.81.

Chicago Style (17th ed.) Citation

Crisafulli, Paolo, Safouan Taha, Burkhart Wolff, IRT SystemX, Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), University Paris-Saclay, and Palaiseau IRT SystemX. "Modelling and Proving Safety in Autonomous Cars Scenarios in HOL-CSP." Https://inria.hal.science/hal-03429597 ; [Research Report] 1, University Paris-Saclay; IRT SystemX, Palaiseau. 2021, Pp.81 2021.

MLA (9th ed.) Citation

Crisafulli, Paolo, et al. "Modelling and Proving Safety in Autonomous Cars Scenarios in HOL-CSP." Https://inria.hal.science/hal-03429597 ; [Research Report] 1, University Paris-Saclay; IRT SystemX, Palaiseau. 2021, Pp.81, 2021.