BibTeX record: conf/wotug/SaifhashemiB11

download as .bib file

@inproceedings{DBLP:conf/wotug/SaifhashemiB11,
  author    = {Arash Saifhashemi and
               Peter A. Beerel},
  title     = {SystemVerilogCSP: Modeling Digital Asynchronous Circuits Using SystemVerilog
               Interfaces},
  booktitle = {33th Communicating Process Architectures Conference, {CPA} 2011, organised
               under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011},
  year      = {2011},
  pages     = {287--302},
  crossref  = {DBLP:conf/wotug/2011},
  url       = {http://dx.doi.org/10.3233/978-1-60750-774-1-287},
  doi       = {10.3233/978-1-60750-774-1-287},
  timestamp = {Thu, 02 Oct 2014 12:46:55 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wotug/SaifhashemiB11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  series    = {Concurrent Systems Engineering Series},
  year      = {2011},
  volume    = {68},
  publisher = {{IOS} Press},
  url       = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=19804},
  isbn      = {978-1-60750-773-4},
  timestamp = {Thu, 02 Oct 2014 12:46:55 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wotug/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}