The following pages link to Noomene Ben Henda (Q3522890):
Displaying 6 items.
- Eager Markov Chains (Q3522891) (← links)
- MONOTONIC ABSTRACTION: ON EFFICIENT VERIFICATION OF PARAMETERIZED SYSTEMS (Q3646165) (← links)
- Handling Parameterized Systems with Non-atomic Global Conditions (Q5452704) (← links)
- Decisive Markov Chains (Q5453500) (← links)
- Stochastic Games with Lossy Channels (Q5458349) (← links)
- Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems) (Q5758139) (← links)