Logo eprints

Items where Author is "Venneri, Betti"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | Date | No Grouping
Jump to: 2003 | 2000
Number of items: 2.


Bettini, Lorenzo and Bono, Viviana and De Nicola, Rocco and Ferrari, GianLuigi and Gorla, Daniele and Loreti, Michele and Moggi, Eugenio and Pugliese, Rosario and Tuosto, Emilio and Venneri, Betti The Klaim Project: Theory and Practice. In: Global Computing. Programming Environments, Languages, Security, and Analysis of Systems. Lecture Notes in Computer Science, 2874 . Springer, pp. 88-150. ISBN 3-540-20583-7 (2003)


De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario and Venneri, Betti Types for access control. Theoretical Computer Science, 240 (1). pp. 215-254. ISSN 0304-3975 (2000)

This list was generated on Wed May 22 00:09:10 2024 CEST.