A symbolic model checking approach in formal verification of distributed systems
Crossref DOI link: https://doi.org/10.1186/s13673-019-0165-x
Published Online: 2019-01-28
Published Print: 2019-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Souri, Alireza http://orcid.org/0000-0001-8314-9051
Rahmani, Amir Masoud
Navimipour, Nima Jafari
Rezaei, Reza
Text and Data Mining valid from 2019-01-28
Version of Record valid from 2019-01-28
Article History
Received: 27 September 2018
Accepted: 5 January 2019
First Online: 28 January 2019