Research Project:
Verification of Concurrent Programs

Simple item page
dc.contributor.departmentDepartment of Computer Engineering
dc.contributor.schoolcollegeinstituteCollege of Engineering
dc.date.accessioned2024-12-29T10:40:17Z
dc.description.publisherscopeInternational
dc.identifierCL.00039
dc.identifier.urihttps://hdl.handle.net/20.500.14288/25152
dc.titleVerification of Concurrent Programs
dc.title.alternativeVerification of Concurrent Programs
dspace.entity.typeProject
local.contributor.authoridSerdar, Taşıran,
local.contributor.kuauthorTaşıran, Serdar
local.project.endDate09/01/08
local.project.startDate09/01/07
local.project.status2
local.project.templateOS.YDISI
local.project.userstatusCompleted
project.funder.identifierMICROSOFT CORPORATION
project.funder.nameMICROSOFT CORPORATION

Files

Collections

Projects