DBLP Record 'conf/euromicro/VoetenPS96'

BibTeX

@inproceedings{DBLP:conf/euromicro/VoetenPS96,
  author    = {Jeroen Voeten and
               P. H. A. van der Putten and
               M. P. J. Stevens},
  title     = {Behaviour-Preserving Transformations in SHE: A Formal Approach
               to Architecture Design},
  booktitle = {EUROMICRO},
  year      = {1996},
  pages     = {19-27},
  ee        = {http://csdl.computer.org/comp/proceedings/euromicro/1996/7487/00/74870019abs.htm},
  crossref  = {DBLP:conf/euromicro/1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/euromicro/1996,
  title     = {22rd EUROMICRO Conference '96, Beyond 2000: Hardware and
               Software Design Strategies,  September 2-5, 1996, Prague,
               Czech Republic},
  booktitle = {EUROMICRO},
  publisher = {IEEE Computer Society},
  year      = {1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}