Searching for authors named "Peter Buchholz" – sorted by Relevance.
34 documents found, showing 1 through 10.
Next 10 →
-
A Class Of Hierarchical Queueing Networks And Their Analysis
- …A CLASS OF HIERARCHICAL QUEUEING NETWORKS AND THEIR ANALYSIS Peter Buchholz Department…
- Cited by 20 (7 self) – Add To MetaCart
-
Equivalence Relations for Stochastic Automata Networks
- …Equivalence Relations for Stochastic Automata Networks Peter Buchholz Universitat Dortmund…
- Cited by 22 (2 self) – Add To MetaCart
-
Markovian Process Algebra: Composition and Equivalence
- …Markovian Process Algebra: Composition and Equivalence Peter Buchholz Universitat Dortmund…
- Cited by 42 (5 self) – Add To MetaCart
-
Hierarchical Markovian Models -Symmetries and Reduction-
- …Hierarchical Markovian Models -Symmetries and Reduction- Peter Buchholz Universitat Dortmund…
- Cited by 34 (1 self) – Add To MetaCart
-
Structured Analysis Approaches for Large Markov Chains - A Tutorial
- …Structured Analysis Approaches for Large Markov Chains A Tutorial Peter Buchholz Informatik IV…
- Cited by 20 (8 self) – Add To MetaCart
-
Exact and Ordinary Lumpability in Finite Markov Chains
- …Exact and Ordinary Lumpability in Finite Markov Chains y Peter Buchholz, Universitat Dortmund…
- Cited by 45 (5 self) – Add To MetaCart
-
Analytical analysis of access-schemes of the CSMA-type
- …Analytical Analysis of Access-Schemes of the CSMA Type Peter Buchholz Informatik IV Universität…
- Cited by 8 (2 self) – Add To MetaCart
-
Protocol Analysis using a timed version of SDL
- …Protocol Analysis using a timed version of SDL Falko Bause, Peter Buchholz Informatik IV, Universt…
- Cited by 18 (3 self) – Add To MetaCart
-
Qualitative and Quantitative Analysis of Timed SDL Specifications
- …Qualitative and Quantitative Analysis of Timed SDL Specifications Falko Bause, Peter Buchholz…
- Cited by 9 (0 self) – Add To MetaCart
-
Hierarchical reachability graph generation for Petri nets
- … Nets Peter Buchholz, Peter Kemper Forschungsbericht Nr. 660/1997 Hierarchical Reachability Graph…
- Cited by 3 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
