Tranquilli, J., & Gupta, N. (2025). Formal State-Machine Models for Uniswap v3 Concentrated-Liquidity AMMs: Priced Timed Automata, Finite-State Transducers, and Provable Rounding Bounds.
Style de citation Chicago (17e éd.)Tranquilli, Julius, et Naman Gupta. Formal State-Machine Models for Uniswap V3 Concentrated-Liquidity AMMs: Priced Timed Automata, Finite-State Transducers, and Provable Rounding Bounds. 2025.
Style de citation MLA (9e éd.)Tranquilli, Julius, et Naman Gupta. Formal State-Machine Models for Uniswap V3 Concentrated-Liquidity AMMs: Priced Timed Automata, Finite-State Transducers, and Provable Rounding Bounds. 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.