The following pages link to (Q5190778):
Displaying 5 items.
- Regular set of representatives for time-constrained MSC graphs (Q436617) (← links)
- Timed runtime monitoring for multiparty conversations (Q1682289) (← links)
- Realizability and verification of MSC graphs (Q1770427) (← links)
- Symbolically Bounding the Drift in Time-Constrained MSC Graphs (Q2915094) (← links)
- (Q2997531) (← links)