Journal article

On the limits of refinement-testing for model-checking CSP

T Murray

Formal Aspects of Computing | Springer Verlag (Germany) | Published : 2013