Show simple item record

Semantic Models for the Security of Sequential and Concurrent Programs

dc.contributor.authorSabelfeld, Andrei 1972-en
dc.date.accessioned2008-08-11T10:13:07Z
dc.date.available2008-08-11T10:13:07Z
dc.date.issued2001en
dc.identifier.urihttp://hdl.handle.net/2077/15299
dc.titleSemantic Models for the Security of Sequential and Concurrent Programsen
dc.typeTexten
dc.type.svepDoctoral thesisen
dc.gup.originGöteborgs universitet/University of Gothenburgeng
dc.gup.departmentMathematical and Computing Scienceseng
dc.gup.departmentMatematik och datavetenskapswe
dc.gup.defenceplaceHC3, Hörsalsv. 16 kl. 10.15en
dc.gup.defencedate2001-06-08en
dc.gup.dissdbid5225en
dc.gup.dissdb-fakultetMNF


Files in this item

Thumbnail
Name:
gupea_2077_15299_1.pdf
Size:
47.33Kb
Format:
PDF
Description:
Abstract
View/Open

This item appears in the following Collection(s)

Show simple item record