Pages that link to "Item:Q5415660"
From MaRDI portal
The following pages link to Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking (Q5415660):
Displaying 4 items.
- Performance evaluation of OpenMP-based algorithms for handling Kronecker descriptors (Q433452) (← links)
- Logical characterization of fluid equivalences (Q2323132) (← links)
- Efficient CTMC Model Checking of Linear Real-Time Objectives (Q3000642) (← links)
- Distributed coalgebraic partition refinement (Q6535613) (← links)
