Pages that link to "Item:Q1295431"

From MaRDI portal

← Dynamic linear time temporal logic (Q1295431)

Jump to:navigation, search

The following pages link to Dynamic linear time temporal logic (Q1295431):

Displaying 3 items.

Verifying Agents’ Conformance with Multiparty Protocols (Q3393379) (← links)
Reasoning about actions with Temporal Answer Sets (Q5299584) (← links)
Business process verification with constraint temporal answer set programming (Q5398302) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q1295431"