Interleaving Based Model Checking of Concurrency and Causality
- 期刊名称Fundamenta Informaticae
- 作者Wolf, Karsten; van der Aalst, Wil; Best, Eike; Penczek, Wojciech
- 卷第161卷
- 期第4期
- 印刷ISSN0169-2968
- 电子ISSN1875-8681
- 文件大小1951.74KB
- 发表时间2018-07-06
- DOI10.3233/FI-2018-1709
- 页码423-445