Pages that link to "Item:Q5465856"
From MaRDI portal
The following pages link to FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465856):
Displaying 11 items.
- Probabilistic verification of Boolean functions (Q685120) (← links)
- A note on the attractor-property of infinite-state Markov chains (Q1045897) (← links)
- Verification of multiprocess probabilistic protocols (Q1079944) (← links)
- An assertion-based program logic for probabilistic programs (Q2323970) (← links)
- Reasoning about probabilistic sequential programs (Q2373709) (← links)
- Probabilistic verification and approximation (Q2478551) (← links)
- On Probabilistic Parallel Programs with Process Creation and Synchronisation (Q3000662) (← links)
- VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC (Q3021957) (← links)
- An Automata-Theoretic Approach to Infinite-State Systems (Q3587257) (← links)
- (Q4501575) (← links)
- Validation of Stochastic Systems (Q5325836) (← links)