MACOM
From MaRDI portal
Cited in
(11)- A class of hierarchical queueing networks and their analysis
- PEPS
- DSPNexpress
- SPNP
- VESTA
- Formal reasoning about finite-state discrete-time Markov chains in HOL
- ESP
- From queueing networks to Markov chains: The XMARCA interface
- Formalization of finite-state discrete-time Markov chains in HOL
- Formal Analysis of Memory Contention in a Multiprocessor System
- Specification techniques for Markov reward models
This page was built for software: MACOM
