Pages that link to "Item:Q3656773"
From MaRDI portal
The following pages link to Labelled Tableaux for Distributed Temporal Logic (Q3656773):
Displayed 5 items.
- Distributed temporal logic for the analysis of security protocol models (Q549724) (← links)
- Event-based time-stamped claim logic (Q2043818) (← links)
- A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations (Q2401638) (← links)
- Back from the future (Q2901197) (← links)
- A History of Until (Q3185767) (← links)