Standard
Safe distribution of declarative processes. / Hildebrandt, Thomas; Mukkamala, Raghava Rao; Slaats, Tijs.
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. ed. / Gilles Barthe; Alberto Pardo; Gerardo Schneider. Springer, 2011. p. 237-252 (Lecture notes in computer science, Vol. 7041).
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Harvard
Hildebrandt, T, Mukkamala, RR
& Slaats, T 2011,
Safe distribution of declarative processes. in G Barthe, A Pardo & G Schneider (eds),
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. Springer, Lecture notes in computer science, vol. 7041, pp. 237-252, 9th International Conference on Software Engineering and Formal Methods, Montevideo, Uruguay,
14/11/2011.
https://doi.org/10.1007/978-3-642-24690-6_17APA
Hildebrandt, T., Mukkamala, R. R.
, & Slaats, T. (2011).
Safe distribution of declarative processes. In G. Barthe, A. Pardo, & G. Schneider (Eds.),
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings (pp. 237-252). Springer. Lecture notes in computer science Vol. 7041
https://doi.org/10.1007/978-3-642-24690-6_17Vancouver
Hildebrandt T, Mukkamala RR
, Slaats T.
Safe distribution of declarative processes. In Barthe G, Pardo A, Schneider G, editors, Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. Springer. 2011. p. 237-252. (Lecture notes in computer science, Vol. 7041).
https://doi.org/10.1007/978-3-642-24690-6_17Author
Hildebrandt, Thomas ; Mukkamala, Raghava Rao ; Slaats, Tijs. / Safe distribution of declarative processes. Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. editor / Gilles Barthe ; Alberto Pardo ; Gerardo Schneider. Springer, 2011. pp. 237-252 (Lecture notes in computer science, Vol. 7041).
Bibtex
@inbook{12c8931328b54055beed92ae1b2a9039,
title = "Safe distribution of declarative processes",
author = "Thomas Hildebrandt and Mukkamala, {Raghava Rao} and Tijs Slaats",
year = "2011",
doi = "10.1007/978-3-642-24690-6_17",
language = "Udefineret/Ukendt",
isbn = "978-3-642-24689-0",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "237--252",
editor = "Gilles Barthe and Alberto Pardo and Gerardo Schneider",
booktitle = "Software Engineering and Formal Methods",
address = "Schweiz",
note = "null ; Conference date: 14-11-2011 Through 18-11-2011",
}
RIS
TY - CHAP
T1 - Safe distribution of declarative processes
AU - Hildebrandt, Thomas
AU - Mukkamala, Raghava Rao
AU - Slaats, Tijs
N1 - Conference code: 9
PY - 2011
Y1 - 2011
U2 - 10.1007/978-3-642-24690-6_17
DO - 10.1007/978-3-642-24690-6_17
M3 - Bidrag til bog/antologi
SN - 978-3-642-24689-0
T3 - Lecture notes in computer science
SP - 237
EP - 252
BT - Software Engineering and Formal Methods
A2 - Barthe, Gilles
A2 - Pardo, Alberto
A2 - Schneider, Gerardo
PB - Springer
Y2 - 14 November 2011 through 18 November 2011
ER -
