@inproceedings{bohm:fmcad10,
  title = "A Framework for Incremental Modelling and Verification of On-Chip Protocols",
  author = "Peter B\"ohm",
  year = "2010",
  booktitle = "Proceedings of the Tenth Conference on Formal Methods in Computer Aided Design (FMCAD'10)",
  journal = "Proceedings of the Tenth Conference on Formal Methods in Computer Aided Design (FMCAD'10)",
  month = "October",
  note = "8 pages, to appear",
}