Pages that link to "Item:Q2494726"
From MaRDI portal
The following pages link to Using temporal logics of knowledge for specification and verification -- a case study (Q2494726):
Displayed 3 items.
The following pages link to Using temporal logics of knowledge for specification and verification -- a case study (Q2494726):
Displayed 3 items.