Pages that link to "Item:Q2798046"

From MaRDI portal

← Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case (Q2798046)

Jump to:navigation, search

The following pages link to Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case (Q2798046):

Displayed 2 items.

Towards reasoning about Petri nets: a propositional dynamic logic based approach (Q1786561) ‎ (← links)
Propositional Dynamic Logic for Petri Nets with Iteration (Q3179415) ‎ (← links)

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