B
[BHM08] Aske Wiid Brekling, Michael R. Hansen, and Jan Madsen. Models and formal verification of multiprocessor system-on-chips. Journal of Logic and Algebraic Programming 77(1-2):1-19. Elsevier, October 2008. 
@article{jlap77(1-2)-BHM,
  author =              {Brekling, Aske Wiid and Hansen, Michael R. and
                         Madsen, Jan},
  title =               {Models and formal verification of multiprocessor
                         system-on-chips},
  publisher =           {Elsevier},
  journal =             {Journal of Logic and Algebraic Programming},
  volume =              {77},
  number =              {1-2},
  pages =               {1-19},
  year =                {2008},
  month =               oct,
}
List of authors