Communication Dans Un Congrès
Année : 2020
Jérôme Leroux : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03052567
Soumis le : jeudi 10 décembre 2020-16:30:19
Dernière modification le : vendredi 24 mars 2023-14:53:19
Citer
Wojciech Czerwiński, Slawomir Lasota, Ranko Lazić, Jérôme Leroux, Filip Mazowiecki. Reachability in Fixed Dimension Vector Addition Systems with States. 31st International Conference on Concurrency Theory, {CONCUR} 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference), Sep 2020, Vienna, Austria. pp.48:1--48:21. ⟨hal-03052567⟩
22
Consultations
0
Téléchargements