On verification challenges at the Large Hadron Collider

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Downloads (Pure)
Original languageEnglish
Title of host publicationModel 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
EditorsD. Bošnački, A. Wijs
Place of PublicationBern
PublisherSpringer
PagesXI-XIII
Volume9641
ISBN (Print)978-3-319-32581-1
Publication statusPublished - 2016
Event23rd International SPIN Symposium on Model Checking Software (SPIN 2016) - Eindhoven University of Technology, Eindhoven, Netherlands
Duration: 7 Apr 20168 Apr 2016
Conference number: 23
http://www.spin2016.info/

Publication series

NameLecture Notes in Computer Science
Volume9641
ISSN (Print)03029743
ISSN (Electronic)16113349

Conference

Conference23rd International SPIN Symposium on Model Checking Software (SPIN 2016)
Abbreviated titleSPIN 2016
Country/TerritoryNetherlands
CityEindhoven
Period7/04/168/04/16
OtherSymposium co-located with the 19th European Joint Conferences on Theory and Practice of Software (ETAPS 2016)
Internet address

Cite this