bibliographer a curated TCS bibliography
  • obsidian
  • tags
  • authors
  • no doi
  • no pdf
  • bad author
  • add item
  • librarian

Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider Yi Ling Hwong Jeroen J.A. Keiren Vincent J.J. Kusters Sander Leemans Tim A.C. Willemse [github]

Library Size: 13G (1 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge
[show logs] [hide logs]