TY  - BOOK
AU  - Aravind Acharya, N
AU  - Advised by Raghavan, K. V.
TI  - Model-checking in presburger counter systems using accelerations
U1  - 005.3 P13  
PY  - 2013///
CY  - Bangalore
PB  - Indian Institute of Science
N1  - Includes CD and  bibliographical references; MSc(Engg);2013;Computer Science and Automation
ER  -