Marco Carbone – Publikationer — IT-Universitetet i København

Fastnet72185067
E-mailmacaitudk

Publikationer pr. år

Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

12 Tidsskriftartikel
8 Konferenceartikel
6 Konferencebidrag i proceedings
1 Bidrag til bog/antologi
Mere
- 1 Paper
- 1 Leder

1 resultater

Filter

2009
Asynchronous Session Types – Exceptions and Multiparty Interactions
Carbone, M., Yoshida, N. & Honda, K., 2009, Formal Methods for Web Services. Springer, Bind 5569. s. 187-212 25 s. (Lecture Notes in Computer Science, Bind 5569).
Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning