- Date Created
- 2023-08-10 17:23:51
- Last Updated
- 2023-08-10 17:23:51
- UUID
- aa171053-d7ba-41f0-895f-e7b79688e3d5
Identifier: 10.1007/978-3-319-53946-1
- Identifier Namespace
- title_id
- Identifier
- 10.1007/978-3-319-53946-1
Identified Components with same Identifier:
| Title | Package | Namespace |
|---|---|---|
| Formal Techniques for Safety-Critical Systems (Retired) | Springer:Ebooks:ComputerScience:2018 | doi |
| Formal Techniques for Safety-Critical Systems (Current) | Springer Nature English International Enhanced KBART 2016-2023 | title_id |
| Formal Techniques for Safety-Critical Systems (Current) | Springer Nature - Springer Computer Science eBooks 2017 English International | title_id |