Safe distribution of declarative processes

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

Thomas Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats

OriginalsprogUdefineret/Ukendt
TitelSoftware Engineering and Formal Methods : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
RedaktørerGilles Barthe, Alberto Pardo, Gerardo Schneider
Antal sider16
ForlagSpringer
Publikationsdato2011
Sider237-252
ISBN (Trykt)978-3-642-24689-0
ISBN (Elektronisk)978-3-642-24690-6
DOI
StatusUdgivet - 2011
Eksternt udgivetJa
Begivenhed9th International Conference on Software Engineering and Formal Methods - Montevideo, Uruguay
Varighed: 14 nov. 201118 nov. 2011
Konferencens nummer: 9

Konference

Konference9th International Conference on Software Engineering and Formal Methods
Nummer9
LandUruguay
ByMontevideo
Periode14/11/201118/11/2011
NavnLecture notes in computer science
Vol/bind7041
ISSN0302-9743

ID: 168629563