Krishna.S

Identifiers

• name variant Krishna.S 0.60 · backfill

Papers (1)

1. Integer Reset Timed Automata: Clock Reduction and Determinizability cs.FL · 2010 · author #2

Mentions

• 1001.1215 #2 · backfill · confidence 0.70 Krishna.S

Frequent Coauthors

• Lakshmi Manasa 1 shared papers