Home
|
Help
|
New Search
|
中文模式
AS Library Service
TITLE
: The Analysis of concurrent systems [electronic resource] : Cambridge, September12-16, 1983 : proceedings / edited by B.T. Denvir ... [etal.]
