- Date Created
- 2024-06-17 21:58:46
- Last Updated
- 2024-06-17 21:58:46
- UUID
- e074fa8d-e3ca-493f-88a2-50c2dc58c65d
Identifier: 10.1007/978-3-031-60698-4
- Identifier Namespace
- title_id
- Identifier
- 10.1007/978-3-031-60698-4
Identified Components with same Identifier:
Title | Package | Namespace |
---|---|---|
NASA Formal Methods (Current) | Springer Nature - Springer Lecture Notes in Computer Science eBooks | title_id |