Amit Kumar Dhar
Professor
Information Technology department
Indian Institute of Information Technology, Allahabad
India
Biography
Assistant Professor at IIIT-Allahabad, Information Technology department.
Research Interest
Information Technology
Publications
-
Amit Kumar DHAR (2017) Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic.
-
Amit Kumar DHAR (2017) Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic.
