Optimising the ProB model checker for B using partial order reduction
Crossref DOI link: https://doi.org/10.1007/s00165-015-0351-1
Published Print: 2016-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Dobrikov, Ivaylo
Leuschel, Michael
Text and Data Mining valid from 2016-04-01