Identifier: 10.1007/978-3-319-46520-3

Identifier Namespace
title_id
Identifier
10.1007/978-3-319-46520-3


Identified Components with same Identifier:

Title Package Namespace
Automated Technology for Verification and Analysis (Current) Springer Nature English International Enhanced KBART 2016-2023 title_id
Automated Technology for Verification and Analysis (Current) Springer Nature - Springer Lecture Notes in Computer Science eBooks title_id
Automated Technology for Verification and Analysis (Current) Springer Nature - Springer Computer Science eBooks 2016 English International title_id
Edit (Login required)
Date Created
2023-08-10 17:23:31
Last Updated
2023-08-10 17:23:31
UUID
d650c125-8b5a-4b45-a14c-da661b42409c


Loading