Circus2CSP: A Tool for Model-Checking Circus Using FDR
You are here
| Title | Circus2CSP: A Tool for Model-Checking Circus Using FDR |
| Publication Type | Conference Paper |
| Year of Publication | 2019 |
| Authors | Gomes AOliveira, Butterfield A |
| Editor | Beek MH ter, McIver A, Oliveira JN |
| Conference Name | Formal Methods – The Next 30 Years |
| Publisher | Springer International Publishing |
| Conference Location | Cham |
| ISBN Number | 978-3-030-30942-8 |
| URL | https://link.springer.com/chapter/10.1007/978-3-030-30942-8_15#citeas |
| DOI | 10.1007/978-3-030-30942-8_15 |
