Efficient Computation and Representation of Large Reachability Sets for Composed Automata
Peter Buchholz; Peter Kemper
- 期刊名称Discrete Event Dynamic Systems
- 作者Peter Buchholz; Peter Kemper
- 卷第12卷
- 期第3期
- 印刷ISSN0924-6703
- 电子ISSN1573-7594
- 文件大小401.00KB
- 发表时间2002-07
- DOI10.1023/a:1015669415634
- 页码265-286