scientific article
From MaRDI portal
Publication:4038718
zbMath0765.68137MaRDI QIDQ4038718
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Petri nets, traces, and local model checking ⋮ Defining conditional independence using collapses ⋮ Graph rewriting for a partial ordering semantics of concurrent constraints programming ⋮ On undecidability of propositional temporal logics on trace systems ⋮ Verification of distributed programs using representative interleaving sequences ⋮ Petri nets, traces, and local model checking
This page was built for publication:
