- Date Created
- 2022-02-14 15:22:02
- Last Updated
- 2022-02-14 15:22:02
- UUID
- 87414ae8-3804-4748-aa14-04d0baf97021
Identifier: 10.1007/978-1-4419-5998-0
- Identifier Namespace
- title_id
- Identifier
- 10.1007/978-1-4419-5998-0
Identified Components with same Identifier:
Title | Package | Namespace |
---|---|---|
Scalable Techniques for Formal Verification (Current) | Springer Nature - Springer Engineering eBooks 2010 English International | title_id |