A More Faithful Formal Definition of the Desired Property for Distributed Snapshot Algorithms to Model Check the Property
-
Published:2019
Issue:5
Volume:38
Page:1009-1038
-
ISSN:2585-8807
-
Container-title:Computing and Informatics
-
language:
-
Short-container-title:cai
Author:
Doan Ha Thi Thu,Ogata Kazuhiro
Publisher
Central Library of the Slovak Academy of Sciences
Subject
General Earth and Planetary Sciences,General Environmental Science
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献