- Date Created
- 2021-12-20 08:12:40
- Last Updated
- 2021-12-20 08:12:40
- UUID
- bd17e6c6-d6e2-442f-823d-960202d98f0b
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 |