Devendra Bhave (IIT Bombay

Identifiers

No identifiers captured yet.

Papers (1)

1. On Nonlinear Prices in Timed Automata cs.FL · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Ashutosh Trivedi (University of Colorado Boulder 1 shared papers
• India) 1 shared papers
• Shankara Narayanan Krishna (IIT Bombay 1 shared papers
• USA) 1 shared papers