Algorithmic probabilistic game semantics
- 期刊名称Formal Methods in System Design
- 作者Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
- 卷第43卷
- 期第2期
- 印刷ISSN0925-9856
- 电子ISSN1572-8102
- 文件大小1168.81KB
- 发表时间2013-10
- DOI10.1007/s10703-012-0173-1
- 页码285-312
同期刊推荐
Dynamic programming and convex clusteringVladimir Batagelj; Simona Korenjak-Černe; Sandi Klavžar · Algorithmica · 1994
Variations on ray shootingReuven Bar-Yehuda; Sergio Fogel · Algorithmica · 1994
Planar geometric location problemsPankaj K. Agarwal; Micha Sharir · Algorithmica · 1994
Guest editor's introductionJ. S. Vitter · Algorithmica · 1994
Checking the correctness of memoriesM. Blum; W. Evans; P. Gemmell; S. Kannan; M. Naor · Algorithmica · 1994
Packet routing on grids of processorsManfred Kunde · Algorithmica · 1993
On Boyer-Moore automataR. A. Baeza-Yates; C. Choffrut; G. H. Gonnet · Algorithmica · 1994
Parametric optimization of sequence alignmentD. Gusfield; K. Balasubramanian; D. Naor · Algorithmica · 1994