학술논문
A case study :verifying a mutual exclusion protocol with process creation using graph transformation systems
Document Type
TEXT
Author
Source
Subject
Language
English