RebaiaiaBJH03a'

BibTeX

@inproceedings{DBLP:conf/pdpta/RebaiaiaBJH03a,
  author    = {Mohamed Larbi Rebaiaia and
               Mohamed Benmohamed and
               Jihad Mohamad Jaam and
               Ahmad Hasnah},
  title     = {A Toolset for the Specification and Verification of Embedded
               Systems},
  booktitle = {PDPTA},
  year      = {2003},
  pages     = {1539-1545},
  crossref  = {DBLP:conf/pdpta/2003-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/pdpta/2003-4,
  editor    = {Hamid R. Arabnia and
               Youngsong Mun},
  title     = {Proceedings of the International Conference on Parallel
               and Distributed Processing Techniques and Applications,
               PDPTA '03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume
               4},
  booktitle = {PDPTA},
  publisher = {CSREA Press},
  year      = {2003},
  isbn      = {1-892512-44-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}