Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Standard

Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes. / Debois, Søren; Hildebrandt, Thomas; Slaats, Tijs.

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. ed. / Nikolaj Bjørner; Frank de Boer. Springer, 2015. p. 143-160 (Lecture notes in computer science, Vol. 9109).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Harvard

Debois, S, Hildebrandt, T & Slaats, T 2015, Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes. in N Bjørner & F de Boer (eds), FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Springer, Lecture notes in computer science, vol. 9109, pp. 143-160, 20th International Symposium on Formal Methods, Oslo, Norway, 24/06/2015. https://doi.org/10.1007/978-3-319-19249-9_10

APA

Debois, S., Hildebrandt, T., & Slaats, T. (2015). Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes. In N. Bjørner, & F. de Boer (Eds.), FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (pp. 143-160). Springer. Lecture notes in computer science Vol. 9109 https://doi.org/10.1007/978-3-319-19249-9_10

Vancouver

Debois S, Hildebrandt T, Slaats T. Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes. In Bjørner N, de Boer F, editors, FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Springer. 2015. p. 143-160. (Lecture notes in computer science, Vol. 9109). https://doi.org/10.1007/978-3-319-19249-9_10

Author

Debois, Søren ; Hildebrandt, Thomas ; Slaats, Tijs. / Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes. FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. editor / Nikolaj Bjørner ; Frank de Boer. Springer, 2015. pp. 143-160 (Lecture notes in computer science, Vol. 9109).

Bibtex

@inproceedings{ad2e52728bf140d69439cd8338ef7a05,
title = "Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes",
author = "S{\o}ren Debois and Thomas Hildebrandt and Tijs Slaats",
year = "2015",
doi = "10.1007/978-3-319-19249-9_10",
language = "Udefineret/Ukendt",
isbn = "978-3-319-19248-2",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "143--160",
editor = "Nikolaj Bj{\o}rner and {de Boer}, Frank",
booktitle = "FM 2015: Formal Methods",
address = "Schweiz",
note = "null ; Conference date: 24-06-2015 Through 26-06-2015",

}

RIS

TY - GEN

T1 - Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes

AU - Debois, Søren

AU - Hildebrandt, Thomas

AU - Slaats, Tijs

N1 - Conference code: 20

PY - 2015

Y1 - 2015

U2 - 10.1007/978-3-319-19249-9_10

DO - 10.1007/978-3-319-19249-9_10

M3 - Konferencebidrag i proceedings

SN - 978-3-319-19248-2

T3 - Lecture notes in computer science

SP - 143

EP - 160

BT - FM 2015: Formal Methods

A2 - Bjørner, Nikolaj

A2 - de Boer, Frank

PB - Springer

Y2 - 24 June 2015 through 26 June 2015

ER -

ID: 168631769