| Formal Methods for Performance Evaluation / Ulrich Herzog |
| Markovian Models for Performance and Dependability Evaluation / Boudewijn R. Haverkort |
| Introduction to Stochastic Petri Nets / Gianfranco Balbo |
| Non-Markovian Analysis / Reinhard German |
| Process Algebra and Markov Chains / Ed Brinksma ; Holger Hermanns |
| Verification of Randomized Distributed Algorithms / Roberto Segala |
| Constructing Automata from Temporal Logic Formulas: A Tutorial / Pierre Wolper |
| Exploiting Structure in Solution: Decomposing Compositional Models / Jane Hillston |
| Stochastic Activity Networks: Formal Definitions and Concepts / William H. Sanders ; John F. Meyer |
| Distributed and Structured Analysis Approaches to Study Large and Complex Systems / Gianfranco Ciardo |
| General Distributions in Process Algebra / Joost-Pieter Katoen ; Pedro R. D'Argenio |
| Author Index |
| Formal Methods for Performance Evaluation / Ulrich Herzog |
| Markovian Models for Performance and Dependability Evaluation / Boudewijn R. Haverkort |
| Introduction to Stochastic Petri Nets / Gianfranco Balbo |
図書
