Skip to Main content Skip to Navigation
Directions of work or proceedings

VECoS: International Conference on Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03322041
Contributor : Simon Bliudze Connect in order to contact the contributor
Submitted on : Wednesday, August 18, 2021 - 4:11:48 PM
Last modification on : Tuesday, January 4, 2022 - 5:28:50 AM

Identifiers

Citation

Mohamed Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez. VECoS: International Conference on Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings. Mohamed Faouzi Atig; Saddek Bensalem; Simon Bliudze; Bruno Monsuez. 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings, Sep 2018, Grenoble, France. 11181, Springer, Cham, 2018, Lecture Notes in Computer Science, 978-3-030-00359-3. ⟨10.1007/978-3-030-00359-3⟩. ⟨hal-03322041⟩

Share

Metrics

Les métriques sont temporairement indisponibles