Process Algebra and Probabilistic Methods: Performance Modeling and Verification : Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings /

Sparad:
Bibliografiska uppgifter
Huvudupphov: Holger Hermanns, Roberto Segala (edición)
Materialtyp: Bok
Språk:engelska
Utgiven: Berlín, Alemania : Springer, 2002, c2002
Serie:(Lecture Notes in Computer Science)
Länkar:Ver documento en línea
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!