Pages that link to "Item:Q851137"
From MaRDI portal
The following pages link to First-order temporal verification in practice (Q851137):
Displayed 3 items.
- Parameterized verification of leader/follower systems via first-order temporal logic (Q2149965) (← links)
- Using temporal logics of knowledge for specification and verification -- a case study (Q2494726) (← links)
- Temporal Logics of Knowledge and their Applications in Security (Q2866724) (← links)