The Library of Congress > Linked Data Service > BIBFRAME Works

Bibframe Work

Title
Modeling and verification of parallel processes Modeling and verification of parallel processes :
Type
Text
Language
English
Illustrative Content
illustrations
Classification
LCC: QA76.5 .M69 2000 (Source: dlc)
DDC: 004/.358 full (Assigner: dlc)
Identified By
Lccn: 2001054972
Authorized Access Point
MOVEP 2000 (2000 : Nantes, France) Modeling and verification of parallel processes
Authorized Access Point Variant
Cassez, Franck, 1967- Modeling and verification of parallel processes