Safe distribution of declarative processes
Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
| Originalsprog | Udefineret/Ukendt |
|---|---|
| Titel | Software Engineering and Formal Methods : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings |
| Redaktører | Gilles Barthe, Alberto Pardo, Gerardo Schneider |
| Antal sider | 16 |
| Forlag | Springer |
| Publikationsdato | 2011 |
| Sider | 237-252 |
| ISBN (Trykt) | 978-3-642-24689-0 |
| ISBN (Elektronisk) | 978-3-642-24690-6 |
| DOI | |
| Status | Udgivet - 2011 |
| Eksternt udgivet | Ja |
| Begivenhed | 9th International Conference on Software Engineering and Formal Methods - Montevideo, Uruguay Varighed: 14 nov. 2011 → 18 nov. 2011 Konferencens nummer: 9 |
Konference
| Konference | 9th International Conference on Software Engineering and Formal Methods |
|---|---|
| Nummer | 9 |
| Land | Uruguay |
| By | Montevideo |
| Periode | 14/11/2011 → 18/11/2011 |
| Navn | Lecture notes in computer science |
|---|---|
| Vol/bind | 7041 |
| ISSN | 0302-9743 |
ID: 168629563