Toggle navigation
Home
People
Departments
Research
About
Login
Search
Analysing Concurrent Systems Using the Concurrency Workbench.
Conferences
Overview
Identity
Additional Document Info
View All
Overview
authors
Lauer, Peter Ernst
Cleaveland, Rance
publication date
1993
published in
Functional Programming, Concurrency, Simulation and Automated Reasoning
Journal
Identity
International Standard Book Number (ISBN) 10
3-540-56883-2
Additional Document Info
start page
129
end page
144
volume
693