Trích dẫn APA

Stefan, G. (2023). Reachability in Two-Parametric Timed Automata with one Parameter is EXPSPACE-Complete. Springer.

Trích dẫn theo kiểu Chicago

Stefan, Göller. Reachability in Two-Parametric Timed Automata With One Parameter Is EXPSPACE-Complete. Springer, 2023.

Trích dẫn MLA

Stefan, Göller. Reachability in Two-Parametric Timed Automata With One Parameter Is EXPSPACE-Complete. Springer, 2023.

Cảnh báo! Những trích dẫn này có thể không chính xác 100%.