Computing the reveals relation in occurrence nets
Haar, Stefan; Kern, Christian; Schwoon, Stefan
- 期刊名称Theoretical Computer Science
- 作者Haar, Stefan; Kern, Christian; Schwoon, Stefan
- 卷第493卷
- 印刷ISSN0304-3975
- 文件大小553.54KB
- 发表时间2013-7
- DOI10.1016/j.tcs.2013.04.028
- 页码66-79