Towards a Model-Checker for Circus
You are here
| Title | Towards a Model-Checker for Circus |
| 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 | Portugal |
| ISBN Number | 978-3-030-30942-8 |
| URL | https://link.springer.com/chapter/10.1007/978-3-030-30942-8_14 |
| DOI | 10.1007/978-3-030-30942-8_14 |
