TY  - RPRT
TI  - Checking Temporal Properties of Presburger Counter Systems using Reachability Analysis
AU  - K Vasanta Lakshmi
AU  - Aravind Acharya
AU  - Raghavan Komondoor
PY  - 2017
UR  - https://arxiv.org/abs/1312.1070
ID  - 1312.1070
ER  -