Rigorous State-Based Methods-8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings - Archive ouverte HAL Access content directly
Proceedings Year : 2021

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

Domains

Computer Science [cs] Software Engineering [cs.SE] Computer Science [cs] Formal Languages and Automata Theory [cs.FL] Computer Science [cs] Logic in Computer Science [cs.LO] Computer Science [cs] Data Structures and Algorithms [cs.DS]

Dominique Méry  : Connect in order to contact the contributor

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

Submitted on : Monday, January 17, 2022-2:58:46 PM

Last modification on : Friday, March 24, 2023-2:53:25 PM

Consult the full text

Dates and versions

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

Identifiers

Cite

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM ANR
26 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More