A foundation for formal reuse of hardware.

A foundation for formal reuse of hardware. de Melo; Vieira, A. C.; and Barringer, H. In Camurati, P. and Eveking, H., editors, CHARME, volume 987, of Lecture Notes in Computer Science, pages 124-145, 1995. Springer.

Paper

Link bibtex

@inproceedings{ conf/charme/MeloB95,
  added-at = {2011-06-23T00:00:00.000+0200},
  author = {de Melo, Ana Cristina Vieira and Barringer, Howard},
  biburl = {http://www.bibsonomy.org/bibtex/22d76acae6b483895483eb0a24831d71f/dblp},
  booktitle = {CHARME},
  crossref = {conf/charme/1995},
  editor = {Camurati, Paolo and Eveking, Hans},
  ee = {http://dx.doi.org/10.1007/3-540-60385-9_8},
  interhash = {cc4feb763111813f34f229ec7d2b4f52},
  intrahash = {2d76acae6b483895483eb0a24831d71f},
  isbn = {3-540-60385-9},
  keywords = {dblp},
  pages = {124-145},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {A foundation for formal reuse of hardware.},
  url = {http://dblp.uni-trier.de/db/conf/charme/charme1995.html#MeloB95},
  volume = {987},
  year = {1995}
}

Downloads: 0