Search
Search Constraints
You searched for: Author/Creator Saraswat, AnantLimit your search
- Saraswat, Anant [remove] 1
- 621.302854 1
- Approximate computing -- Model checking -- MESI-A -- LTL -- PCTL -- Approx cache coherence -- Formal Verification 1
- Computer engineering 1
- Computer engineering -- Periodicals 1
- Electrical engineering 1
- Electrical engineering -- Data processing 1
- Electrical engineering -- Data processing -- Periodicals 1
- Electrical engineering -- Periodicals 1
- Electronic journals 1
- Ordinateurs -- Conception et construction -- Périodiques 1