Research Project:
Verification of Concurrent Programs

Simple item page
dc.contributor.departmentDepartment of Computer Engineering
dc.contributor.departmentDepartment of Computer Engineering
dc.contributor.otherSerdar, Taşıran,
dc.contributor.schoolcollegeinstituteCollege of Engineering
dc.contributor.schoolcollegeinstituteCollege of Engineering
dc.date.accessioned2024-12-29T10:40:17Z
dc.date.available2024-12-29
dc.description.publisherscopeInternational
dc.identifierCL.00039
dc.identifier.urihttps://hdl.handle.net/20.500.14288/25152
dc.relation.affiliationKoç University
dc.relation.collectionKoç University Projects Collection
dc.titleVerification of Concurrent Programs
dc.title.alternativeVerification of Concurrent Programs
dspace.entity.typeProject
local.contributor.kuauthorTaşıran, Serdar
local.project.endDate2008-09-01
local.project.startDate2007-09-01
local.project.templateOS.YDISI
project.funder.identifierMICROSOFT CORPORATION
project.funder.nameMICROSOFT CORPORATION
project.investigatorTaşıran, Serdar
relation.isOrgUnitOfProject89352e43-bf09-4ef4-82f6-6f9d0174ebae
relation.isOrgUnitOfProject.latestForDiscovery89352e43-bf09-4ef4-82f6-6f9d0174ebae
relation.isParentOrgUnitOfProject8e756b23-2d4a-4ce8-b1b3-62c794a8c164
relation.isParentOrgUnitOfProject.latestForDiscovery8e756b23-2d4a-4ce8-b1b3-62c794a8c164
relation.isPersonOfProjectf8f73136-3271-4bac-844e-cc00e50a7e68
relation.isPersonOfProject.latestForDiscoveryf8f73136-3271-4bac-844e-cc00e50a7e68

Files

Collections

Projects