B. Srivathsan (RWTH)

Identifiers

• name variant B. Srivathsan (RWTH) 0.60 · backfill

Papers (1)

1. Lazy abstractions for timed automata cs.LO · 2013 · author #2

Mentions

• 1301.3127 #2 · backfill · confidence 0.70 B. Srivathsan (RWTH)

Frequent Coauthors

• Fr\'ed\'eric Herbreteau (LaBRI) 1 shared papers
• Igor Walukiewicz (LaBRI) 1 shared papers