The following pages link to A. Merceron (Q1263990):
Displaying 13 items.
- The meaning of frozen tokens in live nets (Q1263991) (← links)
- Specifying and verifying reactive systems in a multi-language environment (Q2841282) (← links)
- Vicinity Respecting Homomorphisms for Abstracting System Requirements (Q3066130) (← links)
- (Q3740248) (← links)
- (Q3740249) (← links)
- (Q3776641) (← links)
- (Q3783589) (← links)
- (Q3783590) (← links)
- (Q3792230) (← links)
- (Q3959436) (← links)
- (Q4494116) (← links)
- Parametric Verification of a Group Membership Algorithm (Q5392297) (← links)
- Parametric Verification of a Group Membership Algorithm (Q5476392) (← links)
