@inproceedings{Boehm:2008:DVOa,
  title = "Design and Verification of On-Chip Communication Protocols",
  author = "Peter B{\"o}hm and Tom Melham",
  year = "2008",
  booktitle = "Seventh International Workshop on {D}esigning {C}orrect {C}ircuits: {B}udapest, 29--30 {M}arch 2008: Participants' Proceedings",
  editor = "Gordon J. Pace and Satnam Singh",
  month = "March",
  note = "A Satellite Event of the {ETAPS} 2008 group of conferences",
  pages = "15--29",
  publisher = "ETAPS 2008",
  url = "http://www.cs.ox.ac.uk/tom.melham/pub/Boehm-2008-DVOa.pdf",
}