Stübbe, J., Remke, A., & Ábrahám, E. (2025). Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks.
Citazione stile Chigago Style (17a edizione)Stübbe, Jonas, Anne Remke, e Erika Ábrahám. Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks. 2025.
Citatione MLA (9a ed.)Stübbe, Jonas, et al. Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks. 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.