| 000 | 00909nam a2200229Ia 4500 | ||
|---|---|---|---|
| 020 | _a354042556X | ||
| 082 |
_a518.1 _bW926.PA |
||
| 100 | _aWorkshop on "Process algebra and performance modeling and probabilistic methods in verification (PAPM-PROBMIV)", Aachen, Germany, Sept. 12-14, 2001 | ||
| 245 |
_aProcess algebra and probabilistic methods; performance modelling and verification; proceedings of the 1st joint international workshop. _b _cEd. by Luca de Alfaro and Stephen Gilmore |
||
| 260 |
_aNew York _bSpringer-Verlag _c2001 |
||
| 300 | _axii, 215p. Bibl. Index. | ||
| 440 |
_aLecture notes in Computer Science _v2165 |
||
| 500 | _a"Purchased under NBHM grant for the year 2001-2002" | ||
| 500 | _a | ||
| 653 | _a | ||
| 700 | _aAlfaro, Luca de ; ed. | ||
| 700 | _aGilmore, Stephen ; jt. ed. | ||
| 906 | _iGermany | ||
| 906 | _hSept.12-14,2001 | ||
| 964 |
_a _b _c _d _e _f _g |
||
| 921 | _a21189 | ||
| 999 |
_c21189 _d21189 |
||