Claus Brabrand

Publikation

Publikationer pr. år 2008 2010 2012 2013 2014 2015 2016 2017 2021 2023 2024

• 25 Konferencebidrag i proceedings
• 11 Tidsskriftartikel
• 2 Konferenceartikel
• 1 Antologi
• 6 Mere
  • 1 Bog
  • 1 Rapport
  • 1 Bidrag til bog/antologi
  • 1 Konferenceabstrakt i proceedings
  • 1 Konferenceabstrakt til konference
  • 1 Leder

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2015

  Family-Based Model Checking using Off-the-Shelf Model Checkers

  Dimovski, A., Al-Sibahi, A. S., Brabrand, C. & Wasowski, A., 2015.

  Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Konferenceabstrakt til konference › Forskning