The following pages link to E. N. Bozhenkova (Q1592079):
Displayed 10 items.
- Analysis of equivalence relations of event structures with continuous time (Q1592080) (← links)
- Composition methods for constructing characteristic formulas for dense-time models (Q1938922) (← links)
- Testing equivalences of time Petri nets (Q2217206) (← links)
- (Q2963892) (← links)
- (Q3023538) (← links)
- (Q3074367) (← links)
- (Q3152932) (← links)
- Compositional Methods in Characterization of Timed Event Structures (Q3457972) (← links)
- (Q4507811) (← links)
- (Q4947311) (← links)