Skip to main content
padlock icon - secure page this page is secure

Publisher: Springer Science and Media

Volume 49, Number 4, 2012

Stochastic game logic
pp. 203-224(22)
Authors: Baier, C.; Brázdil, T.; Größer, M.; Ku�era, A. n.

Favourites:
ADD

First-order logics: some characterizations and closure properties
pp. 225-248(24)
Authors: Choffrut, C.; Malcher, A.; Mereghetti, C.; Palano, B.

Favourites:
ADD

On timed alternating simulation for concurrent timed games
pp. 249-279(31)
Authors: Bozzelli, L.; Legay, A.; Pinchinat, S.

Favourites:
ADD

  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
X
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more