A structural property of regular frequency computations
- 作者Holger Austinat; Volker Diekert; Ulrich Hertrampf
- 卷第292卷
- 期第1期
- 印刷ISSN0304-3975
- 文件大小124.29KB
- 发表时间2003
- DOI10.1016/s0304-3975(01)00213-4
- 页码33-43
同作者推荐
The probability nesting gameDanièle Beauquier; Yoram Hirshfeld; Alexander Rabinovich; Anatol Slissenko · 2002
Polytime model checking for timed probabilistic computation tree logicDanièle Beauquier; Anatol Slissenko · 1998
A first order logic for specification of timed algorithms: basic properties and a decidable classDanièle Beauquier; Anatol Slissenko · 2001