Model Checking for a Class of Weighted Automata
- 作者Peter Buchholz; Peter Kemper
- 卷第20卷
- 期第1期
- 印刷ISSN0924-6703
- 电子ISSN1573-7594
- 文件大小845.09KB
- 发表时间2010-03
- DOI10.1007/s10626-008-0057-0
- 页码103-137
同标题推荐
同期刊推荐
Foreword to the special issueDiscrete Event Dynamic Systems · 1995
Guest editor introductionChristos G. Cassandras · Discrete Event Dynamic Systems · 1995
Parallel simulation of statistical multiplexersRichard M. Fujimoto; Ioanis Nikolaidis; C. Anthony Cooper · Discrete Event Dynamic Systems · 1995
EditorialY. C. Ho · Discrete Event Dynamic Systems · 1993
Letter to the editorR. Smedinga · Discrete Event Dynamic Systems · 1993
Foreword to the special issueY. C. Ho · Discrete Event Dynamic Systems · 1993
A simulation environment for multimodelingPaul A. Fishwick · Discrete Event Dynamic Systems · 1993
Call for papersDiscrete Event Dynamic Systems · 1993