Process Algebra and Probabilistic Methods. Performance Modelling and Verification Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings
Heftet /
2001
/ Engelsk
Produktdetaljer
ISBN
9783540425564
Publisert
2001-08-29
Utgiver
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, UP, P, 05, 06
Språk
Product language
Engelsk
Format
Product format
Heftet
Antall sider
12
This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001.
The 12 revised full papers presented together with one invited paper were carefully reviewed and selected from 23 submissions.
The 12 revised full papers presented together with one invited paper were carefully reviewed and selected from 23 submissions.
Les mer
Springer Book Archives
Springer Book Archives
Includes supplementary material: sn.pub/extras
Produktdetaljer
ISBN
9783540425564
Publisert
2001-08-29
Utgiver
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, UP, P, 05, 06
Språk
Product language
Engelsk
Format
Product format
Heftet
Antall sider
12