Login / Signup
M. H. Bandukara
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Regular Expressions
Probabilistic Automata
Finite State
Top Venues
SETTA
J. Syst. Archit.
</>
Publications
</>
M. H. Bandukara
,
Nikos Tzevelekos
On-the-fly bisimulation equivalence checking for fresh-register automata.
J. Syst. Archit.
145 (2023)
M. H. Bandukara
,
Nikos Tzevelekos
On-The-Fly Bisimilarity Checking for Fresh-Register Automata.
SETTA
(2022)