Pages that link to "Item:Q3510789"

The following pages link to Model Checking Contracts – A Case Study (Q3510789):

Displaying 3 items.

• A dynamic deontic logic for complex contracts (Q444496) (← links)
• POETS: process-oriented event-driven transaction systems (Q2390035) (← links)
• A framework for conflict analysis of normative texts written in controlled natural language (Q2436456) (← links)