Pages that link to "Item:Q5423887"

The following pages link to A Framework for Model Checking Institutions (Q5423887):

Displaying 1 item.

• A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems (Q3602954) (← links)