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 proceeding › Article in proceedings › Research › peer-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 -