Identifier: 10.1007/978-3-319-11936-6

Identifier Namespace
title_id
Identifier
10.1007/978-3-319-11936-6


Identified Components with same Identifier:

Title Package Namespace
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 2014 English International title_id
Date Created
2022-01-25 15:43:26
Last Updated
2022-01-25 15:43:26
UUID
a8f5e0bc-77a0-4444-81d8-b4f51107e5cc


Loading