Pages that link to "Item:Q1770366"

From MaRDI portal

← A compositional approach to CTL\(^*\) verification (Q1770366)

Jump to:navigation, search

The following pages link to A compositional approach to CTL\(^*\) verification (Q1770366):

Displaying 2 items.

Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets (Q442295) (← links)
Deductive verification of alternating systems (Q939163) (← links)

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