Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Gila Kamhi

Automatic Datapath Extraction for Efficient Usage of HDD

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Benefits of Bounded Model Checking at an Industrial Setting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy