@techreport{2008-GastelBernardvan-StudyReadersWriters,
  author		= "{Gastel}, Bernard van and {Lensink}, Leonard and {Smetsers}, Sjaak and {Eekelen}, M.C.J.D. van",
  title			= "{Reentrant Readers--Writers: A Case Study Combining Model Checking and Theorem Proving}",
  number		= "ICIS--R08005",
  month			= "April",
  institution		= "Radboud University Nijmegen",
  year			= "2008",
  code			= "icis.ICIS-R08005",
  research_group	= "ds",
  class			= "Report"
}