Pages that link to "Item:Q851137"
From MaRDI portal
The following pages link to First-order temporal verification in practice (Q851137):
Displaying 4 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)
- Abstract State Machines 2004. Advances in Theory and Practice (Q5901597) (← links)