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