Related Books

Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Language: en
Pages: 225
Authors: Holger Hermanns
Categories: Mathematics
Type: BOOK - Published: 2003-08-02 - Publisher: Springer

DOWNLOAD EBOOK

This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25–26, 2002 as part of the
Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Language: en
Pages: 228
Authors: Luca de Alfaro
Categories: Mathematics
Type: BOOK - Published: 2001-08-29 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM
Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Language: en
Pages: 228
Authors: Luca de Alfaro
Categories: Mathematics
Type: BOOK - Published: 2003-06-30 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM
Process Algebra and Probabilistic Methods: Performance Modelling and Verification
Language: en
Pages: 215
Authors: Luca de Alfaro
Categories:
Type: BOOK - Published: 2001 - Publisher:

DOWNLOAD EBOOK

Process Algebra and Probabilistic Methods. Performance Modeling and Verification
Language: en
Pages: 222
Authors: Holger Hermanns
Categories: Mathematics
Type: BOOK - Published: 2002-07-10 - Publisher: Springer

DOWNLOAD EBOOK

This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25–26, 2002 as part of the