scientific article
From MaRDI portal
Publication:2763539
zbMath0982.68087MaRDI QIDQ2763539
Publication date: 16 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
hereditary history preserving bisimilarityfinite labeled asynchronous transition systemsmodal mu-calculus model checking
Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (3)
A pseudo-polynomial algorithm for mean payoff stochastic games with perfect information and few random positions ⋮ A convex programming-based algorithm for mean payoff stochastic games with perfect information ⋮ Approximation schemes for stochastic mean payoff games with perfect information and few random positions
This page was built for publication:
