Publication:4938419
From MaRDI portal
zbMath0938.03053MaRDI QIDQ4938419
Publication date: 23 February 2000
Applications of game theory (91A80) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items