CauZCM96'

BibTeX

@inproceedings{DBLP:conf/pdp/CauZCM96,
  author    = {Antonio Cau and
               Hussein Zedan and
               Nick Coleman and
               Ben C. Moszkowski},
  title     = {Using ITL and Tempura for Large-Scale Specification and
               Simulation},
  booktitle = {PDP},
  year      = {1996},
  pages     = {493-500},
  crossref  = {DBLP:conf/pdp/1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/pdp/1996,
  title     = {4th Euromicro Workshop on Parallel and Distributed Processing
               (PDP '96), January 24-26, 1996, Portugal},
  booktitle = {PDP},
  publisher = {IEEE Computer Society},
  year      = {1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}