Pages that link to "Item:Q2431769"
From MaRDI portal
The following pages link to Distributed disk-based algorithms for model checking very large Markov chains (Q2431769):
Displaying 6 items.
- Performance evaluation of OpenMP-based algorithms for handling Kronecker descriptors (Q433452) (← links)
- Model-checking large structured Markov chains. (Q1400291) (← links)
- Uniformization and hypergraph partitioning for the distributed computation of response time densities in very large Markov models (Q1886599) (← links)
- Sequential and distributed model checking of Petri net specifications (Q2842854) (← links)
- Validation of Stochastic Systems (Q5325839) (← links)
- Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking (Q5415660) (← links)