Identifier: 10.1007/978-3-662-46081-8

Identifier Namespace
title_id
Identifier
10.1007/978-3-662-46081-8


Identified Components with same Identifier:

Title Package Namespace
"Verification, Model Checking, and Abstract Interpretation" (Deleted) Springer Nature - Springer Lecture Notes in Computer Science eBooks title_id
Verification, Model Checking, and Abstract Interpretation (Current) Springer Nature - Springer Lecture Notes in Computer Science eBooks title_id
Verification, Model Checking, and Abstract Interpretation (Current) Springer Nature - Springer Computer Science eBooks 2015 English International title_id
Edit (Login required)
Date Created
2022-02-15 10:43:09
Last Updated
2022-02-15 10:43:09
UUID
b14ad513-82eb-4945-9c1b-9d83e32660fc


Loading