Pages that link to "Item:Q2423760"

From MaRDI portal

← Model checking and synthesis for branching multi-weighted logics (Q2423760)

Jump to:navigation, search

The following pages link to Model checking and synthesis for branching multi-weighted logics (Q2423760):

Displaying 2 items.

Unification and combination of a class of traversal strategies made with pattern matching and fixed-points (Q2669251) (← links)
Synthesis for Multi-weighted Games with Branching-Time Winning Conditions (Q5100749) (← links)

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