Replication, refinement & reachability: complexity in dynamic condition-response graphs
Debois, Søren; Hildebrandt, Thomas T.; Slaats, Tijs
- 期刊名称Acta Informatica
- 作者Debois, Søren; Hildebrandt, Thomas T.; Slaats, Tijs
- 印刷ISSN0001-5903
- 电子ISSN1432-0525
- 文件大小971.45KB
- 发表时间2017-9-21
- DOI10.1007/s00236-017-0303-8