![](/img/cover-not-exists.png)
A symbolic model checking approach in formal verification of distributed systems
Souri, Alireza, Rahmani, Amir Masoud, Navimipour, Nima Jafari, Rezaei, RezaVolume:
9
Language:
english
Journal:
Human-centric Computing and Information Sciences
DOI:
10.1186/s13673-019-0165-x
Date:
December, 2019
File:
PDF, 3.69 MB
english, 2019