FDR3 — A Modern Refinement Checker for CSP
Thomas Gibson−Robinson‚ Philip Armstrong‚ Alexandre Boulgakov and A.W. Roscoe
Book Title
Tools and Algorithms for the Construction and Analysis of Systems
Pages
187−201
Year
2014
Thomas Gibson−Robinson‚ Philip Armstrong‚ Alexandre Boulgakov and A.W. Roscoe