Toggle navigation
Login
Toggle navigation
JavaScript is disabled for your browser. Some features of this site may not work without it.
DEQ : Equivalence Checker for Deterministic Register Automata
QMRO Home
School of Electronic Engineering and Computer Science
Electronic Engineering and Computer Science
DEQ : Equivalence Checker for Deterministic Register Automata
QMRO Home
School of Electronic Engineering and Computer Science
Electronic Engineering and Computer Science
DEQ : Equivalence Checker for Deterministic Register Automata
Browse
All of QMRO
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
Administrators only
Login
Statistics
Most Popular Items
Statistics by Country
Most Popular Authors
DEQ : Equivalence Checker for Deterministic Register Automata
View/
Open
Published version (322.1Kb)
Metadata
Show full item record
Authors
Tzevelekos, N; Murawski, AM; Ramsay, S; ATVA 2019: International Symposium on Automated Technology for Verification and Analysis
URI
https://qmro.qmul.ac.uk/xmlui/handle/123456789/59154
Collections
Electronic Engineering and Computer Science
[3424]
Copyright statements
© 2019 The Author(s)