- Date Created
- 2019-10-14 19:34:01
- Last Updated
- 2019-10-14 19:34:01
- UUID
- 5dcf56c0-8c14-4ade-aecc-8fb80a889e58
Identifier: 10.1007/978-3-319-53946-1
- Identifier Namespace
- doi
- 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 |