Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

1 Résultat
Author: personID (integer) : 820575

Rigorous State-Based Methods-8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings

Alexander Raschke , Dominique Méry
ABZ 2021 - 8th International Conference on Rigorous State Based Methods, Jun 2021, Ulm, Germany. 12709, Springer International Publishing, 2021, Lecture Notes in Computer Science, 978-3-030-77543-8. ⟨10.1007/978-3-030-77543-8⟩
Proceedings hal-03529208v1