Publication:
Special issue: international workshop on runtime verification 2007

Simple item page
dc.contributor.coauthorSokolsky, Oleg
dc.contributor.departmentDepartment of Computer Engineering
dc.contributor.kuauthorTaşıran, Serdar
dc.contributor.schoolcollegeinstituteCollege of Engineering
dc.date.accessioned2024-11-10T00:08:23Z
dc.date.issued2010
dc.description.indexedbyWOS
dc.description.indexedbyScopus
dc.description.issue3
dc.description.openaccessNO
dc.description.publisherscopeInternational
dc.description.sponsoredbyTubitakEuN/A
dc.description.volume20
dc.identifier.doi10.1093/logcom/exn074
dc.identifier.issn0955-792X
dc.identifier.quartileQ2
dc.identifier.scopus2-s2.0-77952927098
dc.identifier.urihttps://doi.org/10.1093/logcom/exn074
dc.identifier.urihttps://hdl.handle.net/20.500.14288/16947
dc.identifier.wos279004000001
dc.language.isoeng
dc.publisherOxford University Press (OUP)
dc.relation.ispartofJournal of Logic and Computation
dc.subjectComputer science
dc.subjectLogic
dc.titleSpecial issue: international workshop on runtime verification 2007
dc.typeOther
dc.type.otherEditorial material
dspace.entity.typePublication
local.contributor.kuauthorTaşıran, Serdar
local.publication.orgunit1College of Engineering
local.publication.orgunit2Department of Computer Engineering
relation.isOrgUnitOfPublication89352e43-bf09-4ef4-82f6-6f9d0174ebae
relation.isOrgUnitOfPublication.latestForDiscovery89352e43-bf09-4ef4-82f6-6f9d0174ebae
relation.isParentOrgUnitOfPublication8e756b23-2d4a-4ce8-b1b3-62c794a8c164
relation.isParentOrgUnitOfPublication.latestForDiscovery8e756b23-2d4a-4ce8-b1b3-62c794a8c164

Files

Collections

Publications without Fulltext