Constraint Markov Chains
Benoît Caillaud; Benoît Delahaye; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Andrzej Wąsowski
- 作者Benoît Caillaud; Benoît Delahaye; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Andrzej Wąsowski
- 卷第412卷
- 期第34期
- 印刷ISSN0304-3975
- 文件大小1035.18KB
- 发表时间2011
- DOI10.1016/j.tcs.2011.05.010
- 页码4373-4404