On verification challenges at the Large Hadron Collider

T.A.C. Willemse

On verification challenges at the Large Hadron Collider

T.A.C. Willemse

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Downloads (Pure)

Original language	English
Title of host publication	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
Editors	D. Bošnački, A. Wijs
Place of Publication	Bern
Publisher	Springer
Pages	XI-XIII
ISBN (Print)	978-3-319-32581-1
Publication status	Published - 2016
Event	23rd International SPIN Symposium on Model Checking Software (SPIN 2016) - Eindhoven University of Technology, Eindhoven, Netherlands Duration: 7 Apr 2016 → 8 Apr 2016 Conference number: 23 http://www.spin2016.info/

Publication series

Name	Lecture Notes in Computer Science
Volume	9641
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Conference

Conference	23rd International SPIN Symposium on Model Checking Software (SPIN 2016)
Abbreviated title	SPIN 2016
Country/Territory	Netherlands
City	Eindhoven
Period	7/04/16 → 8/04/16
Other	Symposium co-located with the 19th European Joint Conferences on Theory and Practice of Software (ETAPS 2016)
Internet address	http://www.spin2016.info/

Cite this

Willemse, T. A. C. (2016). On verification challenges at the Large Hadron Collider. In D. Bošnački, & A. Wijs (Eds.), 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 (pp. XI-XIII). (Lecture Notes in Computer Science; Vol. 9641). Springer.

Willemse, T.A.C. / On verification challenges at the Large Hadron Collider. 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. editor / D. Bošnački ; A. Wijs. Bern : Springer, 2016. pp. XI-XIII (Lecture Notes in Computer Science).

@inproceedings{1747587037b34142aa9e10e952aa8d24,

title = "On verification challenges at the Large Hadron Collider",

author = "T.A.C. Willemse",

year = "2016",

language = "English",

isbn = "978-3-319-32581-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "XI--XIII",

editor = "D. Bo{\v s}na{\v c}ki and A. Wijs",

booktitle = "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",

address = "Germany",

note = "23rd International SPIN Symposium on Model Checking Software (SPIN 2016), SPIN 2016 ; Conference date: 07-04-2016 Through 08-04-2016",

url = "http://www.spin2016.info/",

}

Willemse, TAC 2016, On verification challenges at the Large Hadron Collider. in D Bošnački & A Wijs (eds), 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. Lecture Notes in Computer Science, vol. 9641, Springer, Bern, pp. XI-XIII, 23rd International SPIN Symposium on Model Checking Software (SPIN 2016), Eindhoven, Netherlands, 7/04/16.

On verification challenges at the Large Hadron Collider. / Willemse, T.A.C.
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. ed. / D. Bošnački; A. Wijs. Bern: Springer, 2016. p. XI-XIII (Lecture Notes in Computer Science; Vol. 9641).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - On verification challenges at the Large Hadron Collider

AU - Willemse, T.A.C.

N1 - Conference code: 23

PY - 2016

Y1 - 2016

UR - https://www.scopus.com/pages/publications/84963858117

M3 - Conference contribution

AN - SCOPUS:84963858117

SN - 978-3-319-32581-1

T3 - Lecture Notes in Computer Science

SP - XI-XIII

BT - 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

A2 - Bošnački, D.

A2 - Wijs, A.

PB - Springer

CY - Bern

T2 - 23rd International SPIN Symposium on Model Checking Software (SPIN 2016)

Y2 - 7 April 2016 through 8 April 2016

ER -

Willemse TAC. On verification challenges at the Large Hadron Collider. In Bošnački D, Wijs A, 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. Bern: Springer. 2016. p. XI-XIII. (Lecture Notes in Computer Science).

On verification challenges at the Large Hadron Collider

Publication series

Conference

Other files and links

Cite this