The Library of Congress > Linked Data Service > BIBFRAME Works

Bibframe Work

Title
Modeling and verification of parallel processes
Type
Text
Monograph
Language
English
Illustrative Content
Illustrations
Classification
LCC: QA76.5 .M69 2000
DDC: 004/.358 full
Could not render: bf:status
Supplementary Content
bibliography
index
Content
text
Authorized Access Point
MOVEP 2000 (2000 : Nantes, France) Modeling and verification of parallel processes