Skip to main content

Practical partial order reduction for CSP

A.W. Roscoe T. Gibson−Robinson H. Hansen and X Wang

Book Title
NASA Formal Methods‚ 2015
Year
2015