Pages that link to "Item:Q5452704"
From MaRDI portal
The following pages link to Handling Parameterized Systems with Non-atomic Global Conditions (Q5452704):
Displayed 5 items.
- Automatic Verification of Directory-Based Consistency Protocols (Q3646250) (← links)
- Monotonic Abstraction in Parameterized Verification (Q4982082) (← links)
- (Q5240148) (← links)
- Monotonic Abstraction in Action (Q5505593) (← links)
- Regular model checking: evolution and perspectives (Q6045027) (← links)