The Library of Congress > Linked Data Service > BIBFRAME Works

Bibframe Work

Title
Compositional verification of concurrent and real-time systems
Type
Text
Language
English
Illustrative Content
illustrations
Classification
LCC: QA76.58 .J83 2002 (Source: dlc)
DDC: 004/.35 full (Assigner: dlc)
Identified By
Lccn: 2002023653
Authorized Access Point
Juan, Eric Y. T. Compositional verification of concurrent and real-time systems
Authorized Access Point Variant
Tsai, Jeffrey J.-P. Compositional verification of concurrent and real-time systems