Analyzing spreadsheets for parallel execution via model checking

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

OriginalsprogEngelsk
TitelEssays on the Occasion of Bernhard Steffen's 60th Birthday
ForlagSpringer
StatusAccepteret/In press - 2018
NavnLecture Notes in Computer Science
ISSN0302-9743

Citer dette

Bøgholm, T., Larsen, K. G., Muniz, M., Thomsen, B., & Thomsen, L. L. (Accepteret/In press). Analyzing spreadsheets for parallel execution via model checking. I Essays on the Occasion of Bernhard Steffen's 60th Birthday Springer. Lecture Notes in Computer Science
Bøgholm, Thomas ; Larsen, Kim Guldstrand ; Muniz, Marco ; Thomsen, Bent ; Thomsen, Lone Leth. / Analyzing spreadsheets for parallel execution via model checking. Essays on the Occasion of Bernhard Steffen's 60th Birthday. Springer, 2018. (Lecture Notes in Computer Science).
@inproceedings{57efc9b4b21240ec8e17505c2fb2151f,
title = "Analyzing spreadsheets for parallel execution via model checking",
author = "Thomas B{\o}gholm and Larsen, {Kim Guldstrand} and Marco Muniz and Bent Thomsen and Thomsen, {Lone Leth}",
year = "2018",
language = "English",
booktitle = "Essays on the Occasion of Bernhard Steffen's 60th Birthday",
publisher = "Springer",
address = "Germany",

}

Bøgholm, T, Larsen, KG, Muniz, M, Thomsen, B & Thomsen, LL 2018, Analyzing spreadsheets for parallel execution via model checking. i Essays on the Occasion of Bernhard Steffen's 60th Birthday. Springer, Lecture Notes in Computer Science.

Analyzing spreadsheets for parallel execution via model checking. / Bøgholm, Thomas; Larsen, Kim Guldstrand; Muniz, Marco; Thomsen, Bent; Thomsen, Lone Leth.

Essays on the Occasion of Bernhard Steffen's 60th Birthday. Springer, 2018. (Lecture Notes in Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

TY - GEN

T1 - Analyzing spreadsheets for parallel execution via model checking

AU - Bøgholm, Thomas

AU - Larsen, Kim Guldstrand

AU - Muniz, Marco

AU - Thomsen, Bent

AU - Thomsen, Lone Leth

PY - 2018

Y1 - 2018

M3 - Article in proceeding

BT - Essays on the Occasion of Bernhard Steffen's 60th Birthday

PB - Springer

ER -

Bøgholm T, Larsen KG, Muniz M, Thomsen B, Thomsen LL. Analyzing spreadsheets for parallel execution via model checking. I Essays on the Occasion of Bernhard Steffen's 60th Birthday. Springer. 2018. (Lecture Notes in Computer Science).