Process algebra and probabilistic methods: performance modeling and verification ; joint international workshop ; proceedings
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2001
Konferenzschrift, Sammelwerk, Gedruckte Ressource
- XII, 215 S. : graph. Darst. ; 24 cm
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Process algebra and probabilistic methods: performance modeling and verification ; joint international workshop ; proceedings
|
---|---|
Verantwortlichkeitsangabe: | PAPM PROBMIV 2001, Aachen, Germany, September 12 - 14, 2001. Luca de Alfaro ; Stephen Gilmore (ed.) |
Autor/in / Beteiligte Person: | De Alfaro, Luca |
Körperschaft: | PAPM PROBMIV |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2001 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XII, 215 S. : graph. Darst. ; 24 cm |
ISBN: | 354042556X brosch. : DM 66.00 |
Schlagwort: |
|
Sonstiges: |
|