Safe distribution of declarative processes

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

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. red. / Gilles Barthe; Alberto Pardo; Gerardo Schneider. Springer, 2011. s. 237-252 (Lecture notes in computer science, Bind 7041).

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

Harvard

Hildebrandt, T, Mukkamala, RR & Slaats, T 2011, Safe distribution of declarative processes. i G Barthe, A Pardo & G Schneider (red), Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. Springer, Lecture notes in computer science, bind 7041, s. 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_17

APA

Hildebrandt, T., Mukkamala, R. R., & Slaats, T. (2011). Safe distribution of declarative processes. I G. Barthe, A. Pardo, & G. Schneider (red.), Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings (s. 237-252). Springer. Lecture notes in computer science, Bind. 7041 https://doi.org/10.1007/978-3-642-24690-6_17

Vancouver

Hildebrandt T, Mukkamala RR, Slaats T. Safe distribution of declarative processes. I Barthe G, Pardo A, Schneider G, red., Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. Springer. 2011. s. 237-252. (Lecture notes in computer science, Bind 7041). https://doi.org/10.1007/978-3-642-24690-6_17

Author

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. red. / Gilles Barthe ; Alberto Pardo ; Gerardo Schneider. Springer, 2011. s. 237-252 (Lecture notes in computer science, Bind 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",
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 -

ID: 168629563