Synthesis of Live and Bounded Persistent Systems
- 期刊名称Fundamenta Informaticae
- 作者Best, Eike; Devillers, Raymond; Ciardo, Gianfranco; Kindler, Ekkart; Penczek, Wojciech
- 卷第140卷
- 期第1期
- 印刷ISSN0169-2968
- 电子ISSN1875-8681
- 文件大小313.12KB
- 发表时间2015-07-23
- DOI10.3233/FI-2015-1244
- 页码39-59