Specification and verification of concurrent systems
Specification and verification of concurrent systems
C. Rattray
Details
OL Work ID
OL23095233W
Subjects
Parallel processing (Electronic computers)
Congresses
Find this book
Open Library