Browsing by Author "John, A. K."
Now showing 1 - 2 of 2
Results Per Page
Sort Options
- A layered algorithm for quantifier elimination from linear modular constraints(2016) John, A. K.; Chakraborty, S.
- Qualification of Hardware Description Language Designs for Safety Critical Applications in Nuclear Power Plants(2020) John, A. K.; Bhattacharjee, A. K.