MPG.eBooks - Search Results - Real Zaragoza

Search alternatives:
real zaragoza » de zaragoza , en zaragoza

Cover Image

1

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

Published 2002

Springer Berlin Heidelberg

Table of Contents: “...? -- An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems -- Probabilistic...”