scientific article; zbMATH DE number 1956593
From MaRDI portal
Publication:4417938
zbMath1031.68048MaRDI QIDQ4417938
P. Madhusudan, Salvatore La Torre, Rajeev Alur
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2619/26190363.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of game theory (91A80) Graph theory (including graph drawing) in computer science (68R10) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
Dynamic hierarchical reactive controller synthesis ⋮ Verification of scope-dependent hierarchical state machines ⋮ Visibly pushdown modular games
This page was built for publication:
