Pages that link to "Item:Q2065557"

The following pages link to Hybrid dynamic logic institutions for event/data-based systems (Q2065557):

Displaying 1 item.

• Specification of systems with parameterised events: An institution-independent approach (Q2168786) (← links)