Toggle navigation
Login
Toggle navigation
JavaScript is disabled for your browser. Some features of this site may not work without it.
On-The-Fly Bisimulation Equivalence Checking for Fresh-Register Automata
QMRO Home
School of Electronic Engineering and Computer Science
Electronic Engineering and Computer Science
On-The-Fly Bisimulation Equivalence Checking for Fresh-Register Automata
QMRO Home
School of Electronic Engineering and Computer Science
Electronic Engineering and Computer Science
On-The-Fly Bisimulation Equivalence Checking for Fresh-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
On-The-Fly Bisimulation Equivalence Checking for Fresh-Register Automata
Publisher
Elsevier
Journal
The Journal of Systems Architecture: Embedded Software Design
ISSN
1383-7621
Metadata
Show full item record
Authors
Tzevelekos, N; Bandukara, MH
URI
https://qmro.qmul.ac.uk/xmlui/handle/123456789/91423
Collections
Electronic Engineering and Computer Science
[3141]