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

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

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. red. / Nikolaj Bjørner; Frank de Boer. Springer, 2015. s. 143-160 (Lecture notes in computer science, Bind 9109).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

Harvard

Debois, S, Hildebrandt, T & Slaats, T 2015, Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes. i N Bjørner & F de Boer (red), FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Springer, Lecture notes in computer science, bind 9109, s. 143-160, 20th International Symposium on Formal Methods, Oslo, Norge, 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. I N. Bjørner, & F. de Boer (red.), FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (s. 143-160). Springer. Lecture notes in computer science, Bind. 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. I Bjørner N, de Boer F, red., FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Springer. 2015. s. 143-160. (Lecture notes in computer science, Bind 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. red. / Nikolaj Bjørner ; Frank de Boer. Springer, 2015. s. 143-160 (Lecture notes in computer science, Bind 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",
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