The following pages link to Oldřich Stražovský (Q2482724):
Displaying 5 items.
- Deciding probabilistic bisimilarity over infinite-state probabilistic systems (Q2482725) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311474) (← links)
- (Q5450116) (← links)
- STACS 2005 (Q5710670) (← links)
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897798) (← links)