MACOM
From MaRDI portal
Software:19948
swMATH7932MaRDI QIDQ19948FDOQ19948
Author name not available (Why is that?)
Cited In (6)
- Formal Analysis of Memory Contention in a Multiprocessor System
- Specification techniques for Markov reward models
- From queueing networks to Markov chains: The XMARCA interface
- Formalization of Finite-State Discrete-Time Markov Chains in HOL
- A class of hierarchical queueing networks and their analysis
- Formal reasoning about finite-state discrete-time Markov chains in HOL
This page was built for software: MACOM
