DEQ : Equivalence Checker for Deterministic Register Automata
| dc.contributor.author | Tzevelekos, N | en_US |
| dc.contributor.author | Murawski, AM | en_US |
| dc.contributor.author | Ramsay, S | en_US |
| dc.contributor.author | ATVA 2019: International Symposium on Automated Technology for Verification and Analysis | en_US |
| dc.date.accessioned | 2019-08-15T10:51:43Z | |
| dc.date.available | 2019-06-16 | en_US |
| dc.identifier.uri | https://qmro.qmul.ac.uk/xmlui/handle/123456789/59154 | |
| dc.title | DEQ : Equivalence Checker for Deterministic Register Automata | en_US |
| dc.type | Conference Proceeding | |
| dc.rights.holder | © 2019 The Author(s) | |
| pubs.notes | Not known | en_US |
| pubs.publication-status | Accepted | en_US |
| dcterms.dateAccepted | 2019-06-16 | en_US |
| rioxxterms.funder | Default funder | en_US |
| rioxxterms.identifier.project | Default project | en_US |
| qmul.funder | System-Level Game Semantics: A unifying framework for composing systems::Engineering and Physical Sciences Research Council | en_US |
