Verification of Scheme Plans Using CSP || B
| Date first appeared online | |
| DOI | 10.1007/978-3-319-05032-4_15 |
| Authors | Nguyen H., Moller F. |
| Journal Name | Software Engineering and Formal Methods |
| Volume | 8368 |
| Date first appeared online | |
| DOI | 10.1007/978-3-319-05032-4_15 |
| Authors | Nguyen H., Moller F. |
| Journal Name | Software Engineering and Formal Methods |
| Volume | 8368 |