Skip to Main content Skip to Navigation
New interface


hal-03791998v1  Journal articles
Michel BatteuxTatiana ProsvirnovaAntoine Rauzy. Abstract Executions of Stochastic Discrete Event Systems
International Journal of Critical Computer-Based Systems, 2022, 10 (3), pp.202-226. ⟨10.1504/IJCCBS.2022.121363⟩