S. Arun-Kumar

Identifiers

• name variant S. Arun-Kumar 0.60 · backfill

Papers (1)

1. Reducing Clocks in Timed Automata while Preserving Bisimulation cs.FL · 2014 · author #3

Mentions

• 1404.6613 #3 · backfill · confidence 0.70 S. Arun-Kumar

Frequent Coauthors

• Chinmay Narayan 1 shared papers
• Shibashis Guha 1 shared papers