The following pages link to Yaroslav S. Usenko (Q1347989):
Displaying 9 items.
- (Q208694) (redirect page) (← links)
- State space generation for the HAVi leader election protocol (Q1347990) (← links)
- Equivalence of recursive specifications in process algebra (Q1607118) (← links)
- (Q2760255) (← links)
- (Q3614665) (← links)
- (Q4484474) (← links)
- From μCRL to mCRL2 (Q5262965) (← links)
- Discretization of Timed Automata in Timed μCRL à la Regions and Zones (Q5262966) (← links)
- Linearization in parallel pCRL (Q5946027) (← links)
