添加

acta - Volume 49

  • 主办方 / 出版社
  • 关注的研究方向
  • CCF等级 / JCR分区
acta - Volume 49 - Number 4 - June 2012
Stochastic game logic.

Christel Baier==Tomás Brázdil==Marcus Größer==Antonín Kucera==

First-order logics: some characterizations and closure properties.

Christian Choffrut==Andreas Malcher==Carlo Mereghetti==Beatrice Palano==

On timed alternating simulation for concurrent timed games.

Laura Bozzelli==Axel Legay==Sophie Pinchinat==


回到顶部