K Vasanta Lakshmi

Identifiers

• name variant K Vasanta Lakshmi 0.60 · backfill

Papers (1)

1. Checking Temporal Properties of Presburger Counter Systems using Reachability Analysis cs.LO · 2013 · author #1

Mentions

• 1312.1070 #1 · arxiv_oai · confidence 0.70 K Vasanta Lakshmi
• 1312.1070 #1 · backfill · confidence 0.70 K Vasanta Lakshmi

Frequent Coauthors

• Aravind Acharya 1 shared papers
• Raghavan Komondoor 1 shared papers