Mutually Testing Processes
You are here
| Title | Mutually Testing Processes |
| Publication Type | Journal Article |
| Year of Publication | 2015 |
| Authors | Bernardi G, Hennessy M |
| Journal | Logical Methods in Computer Science |
| Volume | 11 |
| Issue | 2 |
| Date Published | 2015 |
| URL | http://arxiv.org/abs/1502.06360 |
