Pages that link to "Item:Q1401259"

From MaRDI portal

← Generalized discrete timed automata: Decidable approximations for safety verification. (Q1401259)

Jump to:navigation, search

The following pages link to Generalized discrete timed automata: Decidable approximations for safety verification. (Q1401259):

Displaying 2 items.

Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets (Q442295) (← links)
On composition and lookahead delegation of \(e\)-services modeled by automata (Q2566017) (← links)

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