Yogi Joshi
Identifiers
- name variant Yogi Joshi 0.60 · backfill
Papers (1)
- Accelerated Runtime Verification of LTL Specifications with Counting Semantics cs.LO · 2014 · author #2
Mentions
- 1411.2239 #2 · backfill · confidence 0.70 Yogi Joshi
Frequent Coauthors
- Borzoo Bonakdarpour 1 shared papers
- Ramy Medhat 1 shared papers
- Sebastian Fischmeister 1 shared papers