| ISBN： | 354042556X (pbk. : acid-free paper) |
|---|
| 编目源： | DLC DLC OHX UKM C$Q CVU |
|---|
| 语种代码： | eng |
|---|
| 会议名称： | PAPM-PROBMIV 2001 |
|---|
| 题名： | Process algebra and probabilistic methods : performance modelling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings / Luca de Alfaro, Stephen Gilmore (eds.). |
|---|
| 出版发行项： | Berlin ; New York : Springer-Verlag, c2001. |
|---|
| 载体形态： | xii, 215 p. : ill. ; 24 cm. |
|---|
| 丛编说明： | Lecture notes in computer science, 0302-9743 ; 2165. |
|---|
| 书目附注： | Includes bibliographical references and index. |
|---|