OLearyBL97'

BibTeX

@article{DBLP:journals/fac/OLearyBL97,
  author    = {John O'Leary and
               Geoffrey Brown and
               Wayne Luk},
  title     = {Verified Compilation of Communicating Processes into Clocked
               Circuits},
  journal   = {Formal Asp. Comput.},
  volume    = {9},
  number    = {5-6},
  year      = {1997},
  pages     = {537-559},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}