Process algebra and probabilistic methods : performance modeling and verification : Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
Holger Hermanns, Roberto Segala (eds.)
Bok Engelsk 2002 PAPM-PROBMIV 2002
| Annen tittel | |
|---|---|
| Utgitt | Berlin : Springer , c2002
|
| Omfang | X, 214 s. : ill.
|
| Emner | |
| Dewey | |
| ISBN | 3540439137
|
