Miller, A., Porr, B., Valkov, I., Fraser, D., & Pagojus, D. (2025). berndporr/spin_unity_overtaking: Code accompanying the paper: Model Checking with Memoisation for Fast Overtaking Planning. Zenodo.
Citazione stile Chigago Style (17a edizione)Miller, Alice, Bernd Porr, Ivaylo Valkov, Douglas Fraser, e Daumantas Pagojus. Berndporr/spin_unity_overtaking: Code Accompanying the Paper: Model Checking with Memoisation for Fast Overtaking Planning. Zenodo, 2025.
Citatione MLA (9a ed.)Miller, Alice, et al. Berndporr/spin_unity_overtaking: Code Accompanying the Paper: Model Checking with Memoisation for Fast Overtaking Planning. Zenodo, 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.