The Library of Congress > Linked Data Service > BIBFRAME Instances

Bibframe Instance

Title
Compositional verification of concurrent and real-time systems
Type
Electronic
Authorized Access Point
Compositional verification of concurrent and real-time systems /