Rigorous State-Based Methods-8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings - Inria - Institut national de recherche en sciences et technologies du numérique
Proceedings/Recueil Des Communications Année : 2021

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

Domaines

Génie logiciel [cs.SE] Théorie et langage formel [cs.FL] Logique en informatique [cs.LO] Algorithme et structure de données [cs.DS]

Dominique Méry  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-03529208

Soumis le : lundi 17 janvier 2022-14:58:46

Dernière modification le : lundi 2 décembre 2024-17:46:02

Consulter le texte intégral

Dates et versions

hal-03529208 , version 1 (17-01-2022)

Identifiants

Citer

Alexander Raschke, Dominique Méry. Rigorous State-Based Methods-8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings. 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⟩. ⟨hal-03529208⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM ANR
43 Consultations
0 Téléchargements

Altmetric

Partager

More