Skip to main content

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