scientific article; zbMATH DE number 1759629
From MaRDI portal
Publication:4536620
zbMath0999.68531MaRDI QIDQ4536620
Freddy Y. C. Mang, Luca de Alfaro, Thomas A. Henzinger
Publication date: 28 November 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Control/observation systems involving computers (process control, etc.) (93C83) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (5)
A survey of stochastic \(\omega \)-regular games ⋮ Model checking abilities of agents: a closer look ⋮ Unnamed Item ⋮ Pruning external minimality checking for answer set programs using semantic dependencies ⋮ Qualitative analysis of concurrent mean-payoff games
This page was built for publication:
