Verification of Scheme Plans Using CSP || B
| Date first appeared online | 08/03/2014 |
| DOI | 10.1007/978-3-319-05032-4_15 |
| Authors | James P. |
| Journal Name | Software Engineering and Formal Methods |
| Volume | 8368 |
| Date first appeared online | 08/03/2014 |
| DOI | 10.1007/978-3-319-05032-4_15 |
| Authors | James P. |
| Journal Name | Software Engineering and Formal Methods |
| Volume | 8368 |