2 research outputs found
From Logic to Games
- Author
- A. Arnold
- A. Arnold
- A. Arnold
- A. Arnold
- A. Bouajjani
- A. Bouajjani
- A. Bouquet
- A. Hoffman
- C. Stirling
- C.-H.L.O.K. Aehlig
- C.A.R. Hoare
- C.G. Cassandras
- D. Berwanger
- D. DâSouza
- D. Harel
- D. Kozen
- D. Martin
- D. Martin
- D. Muller
- D. Muller
- D. NiwiĆski
- D. NiwiĆski
- D. NiwiĆski
- D. NiwiĆski
- E. Clarke
- F. Cassez
- F. Cassez
- H. Gimbert
- H. Gimbert
- I. Walukiewicz
- J. Bradfield
- J. Bradfield
- J. Obdrzalek
- J.R. Buchi
- J.R. BĂŒchi
- K. Chandra
- K. Chatterjee
- K. Rudie
- K. Wagner
- L. Alfaro de
- L. Alfaro de
- M. Rabin
- O. Kupferman
- O. Serre
- O. Serre
- P. Bouyer
- P. Bouyer
- P. Madhusudan
- P.J.G. Ramadge
- R. Alur
- R. Alur
- R. Kumar
- R. McNaughton
- R.S. Streett
- R.S. Streett
- S. Demri
- S. Mohalik
- T. Cachat
- T. Cachat
- T. Knapik
- T. UrbaĆski
- W. Mostowski
- W. Thomas
- Z. Manna
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- 01/01/2005
- Field of study
International audienc