Pages that link to "Item:Q3455865"

From MaRDI portal

← A Pre-congruence Format for XY-simulation (Q3455865)

Jump to:navigation, search

The following pages link to A Pre-congruence Format for XY-simulation (Q3455865):

Displayed 2 items.

Logical characterisations, rule formats and compositionality for input-output conformance simulation (Q2423772) ‎ (← links)
Logical Characterisations and Compositionality of Input-Output Conformance Simulation (Q2971123) ‎ (← links)

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