Manini, A., Rossi, M., & Pietro, P. S. (2026). TARZAN: A Region-Based Library for Forward and Backward Reachability of Timed Automata (Extended Version).
Style de citation Chicago (17e éd.)Manini, Andrea, Matteo Rossi, et Pierluigi San Pietro. TARZAN: A Region-Based Library for Forward and Backward Reachability of Timed Automata (Extended Version). 2026.
Style de citation MLA (9e éd.)Manini, Andrea, et al. TARZAN: A Region-Based Library for Forward and Backward Reachability of Timed Automata (Extended Version). 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.