DascaluHDK04'

BibTeX

@inproceedings{DBLP:conf/iri/DascaluHDK04,
  author    = {Sergiu Dascalu and
               Peter Hitchcock and
               Narayan C. Debnath and
               Andrew Klempau},
  title     = {From Graphical Representations to Formal Specifications
               and Return: Translation Algorithms in the Harmony},
  booktitle = {IRI},
  year      = {2004},
  pages     = {215-221},
  crossref  = {DBLP:conf/iri/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iri/2004,
  editor    = {Du Zhang and
               {\'E}ric Gr{\'e}goire and
               Doug DeGroot},
  title     = {Proceedings of the 2004 IEEE International Conference on
               Information Reuse and Integration, IRI - 2004, November
               8-10, 2004, Las Vegas Hilton, Las Vegas, NV, USA},
  booktitle = {IRI},
  publisher = {IEEE Systems, Man, and Cybernetics Society},
  year      = {2004},
  isbn      = {0-7803-8819-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}