Pages that link to "Item:Q5897771"

From MaRDI portal

← FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897771)

Jump to:navigation, search

The following pages link to FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897771):

Displaying 2 items.

On decidability of LTL model checking for process rewrite systems (Q1006890) (← links)
Reachability is decidable for weakly extended process rewrite systems (Q1023281) (← links)

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