DBLP BibTeX Record 'conf/fmcad/AlkassarCHP10'

@inproceedings{DBLP:conf/fmcad/AlkassarCHP10,
  author    = {Eyad Alkassar and
               Ernie Cohen and
               Mark A. Hillebrand and
               Hristo Pentchev},
  title     = {Modular specification and verification of interprocess communication},
  booktitle = {FMCAD},
  year      = {2010},
  pages     = {167-174},
  ee        = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5770946},
  crossref  = {DBLP:conf/fmcad/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/fmcad/2010,
  editor    = {Roderick Bloem and
               Natasha Sharygina},
  title     = {Proceedings of 10th International Conference on Formal Methods
               in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland,
               October 20-23},
  booktitle = {FMCAD},
  publisher = {IEEE},
  year      = {2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}