Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
![]() |
Characteristic Formulae for Session TypesLange, Julien ; Yoshida, NobukoTools and Algorithms for the Construction and Analysis of Systems, p.833-850 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |