The following pages link to Hagen Völzer (Q834900):
Displaying 8 items.
- (Q235203) (redirect page) (← links)
- A constructive proof for FLP (Q834901) (← links)
- Petri net based verification of distributed algorithms: An example (Q1377301) (← links)
- Computing the concurrency threshold of sound free-choice workflow nets (Q2324223) (← links)
- Probabilistic event structures and domains (Q2503038) (← links)
- Counterexamples in Probabilistic LTL Model Checking for Markov Chains (Q3184702) (← links)
- (Q3396595) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311494) (← links)
