Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Performability assessment by model checking of Markov reward models
Formal Methods in System Design
FTCS'95 Proceedings of the Twenty-Fifth international conference on Fault-tolerant computing
Invited Analytic comparison results for communication networks
Computer Communications
Hi-index | 0.00 |