DBLP Record 'conf/mtv/KahneGWD05'

BibTeX

@inproceedings{DBLP:conf/mtv/KahneGWD05,
  author    = {Brian Kahne and
               Aseem Gupta and
               Peter Wilson and
               Nikil D. Dutt},
  title     = {An Introduction to the Plasma Language},
  booktitle = {MTV},
  year      = {2005},
  pages     = {12-22},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/MTV.2005.5},
  crossref  = {DBLP:conf/mtv/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/mtv/2005,
  editor    = {Magdy S. Abadir and
               Li-C. Wang},
  title     = {Sixth International Workshop on Microprocessor Test and
               Verification (MTV 2005), Common Challenges and Solutions,
               3-4 November 2005, Austin, Texas, USA},
  booktitle = {MTV},
  publisher = {IEEE Computer Society},
  year      = {2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}