Login / Signup
Ilias Sarkar
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 2
Top Topics
Database
Complex Systems
Binary Tree
Petri Net
Top Venues
CoRR
CONCUR
</>
Publications
</>
S. Akshay
,
Paul Gastin
,
Shankara Narayanan Krishna
,
Ilias Sarkar
Towards an Efficient Tree Automata based technique for Timed Systems.
CoRR
(2017)
S. Akshay
,
Paul Gastin
,
Shankara Narayanan Krishna
,
Ilias Sarkar
Towards an Efficient Tree Automata Based Technique for Timed Systems.
CONCUR
(2017)