Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review
Fakhfakh, Faten, Tounsi, Mohamed, Mosbah, Mohamed, Kacem, Ahmed HadjVolume:
126
Year:
2018
Language:
english
Journal:
Procedia Computer Science
DOI:
10.1016/j.procs.2018.08.128
File:
PDF, 396 KB
english, 2018