Toggle navigation
Home
People
Departments
Research
About
Login
Search
International Computing Symposium
Journal
Overview
Overview
publication venue for
VERIFICATION OF CONCURRENT SYSTEMS OF PROCESSES.
1977