SATMC: a SAT-based model checker for security protocols, business processes, and security APIs
Crossref DOI link: https://doi.org/10.1007/s10009-015-0385-y
Published Online: 2015-06-03
Published Print: 2016-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Armando, Alessandro
Carbone, Roberto
Compagna, Luca
Text and Data Mining valid from 2015-06-03