7 results on '"van der Hoek W"'
Search Results
2. Concurrent dynamic epistemic logic for MAS
3. Dynamic epistemic logic with assignment.
4. Using temporal logics of knowledge in the formal verification of security protocols.
5. Concurrent dynamic epistemic logic for MAS.
6. Reasoning about agents in the KARO framework.
7. Reasoning about agents in the KARO framework
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.