Bibtex entries of Amir Nahir

@inproceedings{DBLP:conf/hvc/NahirSZ06,
  author = {Amir Nahir and Yossi Shiloach and Avi Ziv},
  title = {Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation.},
  booktitle = {Haifa Verification Conference},
  year = {2006},
  pages = {16-33},
  crossref = {DBLP:conf/hvc/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/dac/NahirZEKR06,
  author = {Amir Nahir and Avi Ziv and Roy Emek and Tal Keidar and Nir Ronen},
  title = {Scheduling-based test-case generation for verification of multimedia SoCs.},
  booktitle = {DAC},
  year = {2006},
  pages = {348-351},
  crossref = {DBLP:conf/dac/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/icac/BreitgandCNR07,
  author = {David Breitgand and Rami Cohen and Amir Nahir and Danny Raz},
  title = {Using the Right Amount of Monitoring in Adaptive Load Sharing.},
  booktitle = {ICAC},
  year = {2007},
  pages = {7},
  crossref = {DBLP:conf/icac/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}