Model checking of state-rich formalism by linking to $$CSP\,\Vert \,B$$ C S P ‖ B
Crossref DOI link: https://doi.org/10.1007/s10009-015-0402-1
Published Online: 2015-11-03
Published Print: 2017-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ye, Kangfeng
Woodcock, Jim
Text and Data Mining valid from 2015-11-03