Toggle navigation
Home
People
Departments
Research
About
Login
Search
VERIFICATION OF CONCURRENT SYSTEMS OF PROCESSES.
Conferences
Overview
Identity
Additional Document Info
View All
Overview
authors
Cotronis, JY
Lauer, Peter Ernst
status
published
publication date
January 1, 1977
published in
International Computing Symposium
Journal
Identity
International Standard Book Number (ISBN) 10
0-7204-0741-9
Additional Document Info
start page
197
end page
207