On verification challenges at the Large Hadron Collider

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Downloads (Pure)
Originele taal-2Engels
TitelModel checking software: 23rd International Symposium on Model Checking Software, SPIN 2016 Co-located with 19th European Joint Conferences on Theory and Practice of Software, ETAPS 2016; Eindhoven; Netherlands; 7 April 2016 through 8 April 2016
RedacteurenD. Bošnački, A. Wijs
Plaats van productieBern
UitgeverijSpringer
Pagina'sXI-XIII
Volume9641
ISBN van geprinte versie978-3-319-32581-1
StatusGepubliceerd - 2016
Evenement23rd International SPIN Symposium on Model Checking Software (SPIN 2016) - Eindhoven University of Technology, Eindhoven, Nederland
Duur: 7 apr 20168 apr 2016
Congresnummer: 23
http://www.spin2016.info/

Publicatie series

NaamLecture Notes in Computer Science
Volume9641
ISSN van geprinte versie03029743
ISSN van elektronische versie16113349

Congres

Congres23rd International SPIN Symposium on Model Checking Software (SPIN 2016)
Verkorte titelSPIN 2016
LandNederland
StadEindhoven
Periode7/04/168/04/16
Internet adres

Citeer dit

Willemse, T. A. C. (2016). On verification challenges at the Large Hadron Collider. In D. Bošnački, & A. Wijs (editors), Model checking software: 23rd International Symposium on Model Checking Software, SPIN 2016 Co-located with 19th European Joint Conferences on Theory and Practice of Software, ETAPS 2016; Eindhoven; Netherlands; 7 April 2016 through 8 April 2016 (Vol. 9641, blz. XI-XIII). (Lecture Notes in Computer Science; Vol. 9641). Springer.