BibTeX record conf/hldvt/ShuklaHAAFLP06

download as .bib file

@inproceedings{DBLP:conf/hldvt/ShuklaHAAFLP06,
  author    = {Sandeep K. Shukla and
               Alan J. Hu and
               Jacob Abrahams and
               Pranav Ashar and
               Harry Foster and
               Avner Landver and
               Carl Pixley},
  title     = {Panel: Assertion-Based Verification -What's the Big Deal?},
  booktitle = {{HLDVT}},
  pages     = {183},
  publisher = {{IEEE} Computer Society},
  year      = {2006}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics