Petri, A. (2026). Effective Stochastic Automata Model Checking by Interval Abstraction. Zenodo.
Style de citation Chicago (17e éd.)Petri, Annabell. Effective Stochastic Automata Model Checking by Interval Abstraction. Zenodo, 2026.
Style de citation MLA (9e éd.)Petri, Annabell. Effective Stochastic Automata Model Checking by Interval Abstraction. Zenodo, 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.