| Type |  Book |
| ชื่อเรื่อง | Process algebra and probabilistic methods: performance modeling and verification : Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings / Luca de Alfaro, Stephen Gilmore (eds.) |
| ผู้แต่ง | PAPM-PROBMIV 2001 (2001 : Aachen, Germany) |
| ISBN | 354042556x |
| พิมพลักษณ์ | Berlin : Springer, 2001 |
| รูปเล่ม | xii, 215 p. : ill. ; 24 cm |
| หัวเรื่อง | Computer simulation |
| | Machine theory --Congresses [] |
| | Machine theory |
| | Parallel processing (Electronic computers) --Congresses [] |
| | Probabilistic automata |
| | Simulation methods |