DBLP BibTeX Record 'conf/wotug/SaifhashemiB11'

@inproceedings{DBLP:conf/wotug/SaifhashemiB11,
  author    = {Arash Saifhashemi and
               Peter A. Beerel},
  title     = {SystemVerilogCSP: Modeling Digital Asynchronous Circuits
               Using SystemVerilog Interfaces},
  booktitle = {CPA},
  year      = {2011},
  pages     = {287-302},
  ee        = {http://dx.doi.org/10.3233/978-1-60750-774-1-287},
  crossref  = {DBLP:conf/wotug/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/wotug/2011,
  editor    = {Peter H. Welch and
               Adam T. Sampson and
               Jan B{\ae}kgaard Pedersen and
               Jon M. Kerridge and
               Jan F. Broenink and
               Frederick R. M. Barnes},
  title     = {33th Communicating Process Architectures Conference, CPA
               2011, organised under the auspices of WoTUG, Limerick, Ireland,
               June 19th, 2011},
  booktitle = {CPA},
  publisher = {IOS Press},
  series    = {Concurrent Systems Engineering Series},
  volume    = {68},
  year      = {2011},
  isbn      = {978-1-60750-773-4},
  ee        = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=19804},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}