Publisher
Springer International Publishing
Reference12 articles.
1. Chrobot, S., Daszczuk, W.B.: Communication dualism in distributed systems with petri net interpretation. Theor. Appl. Inform. 18, 261–278 (2006). arXiv: 1710.07907
2. Daszczuk, W.B.: Communication and resource deadlock analysis using IMDS formalism and model checking. Comput. J. 60, 729–750 (2017).
https://doi.org/10.1093/comjnl/bxw099
3. Dedan.
http://staff.ii.pw.edu.pl/dedan/files/DedAn.zip
4. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008). ISBN 9780262026499
5. Ben-Ari, M.: Principles of the Spin Model Checker. Springer, London (2008).
https://doi.org/10.1007/978-1-84628-770-1
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献