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.kuprofileFaculty Member
dc.contributor.otherDepartment of Computer Engineering
dc.contributor.schoolcollegeinstituteCollege of Engineering
dc.contributor.yokidN/A
dc.date.accessioned2024-11-10T00:08:23Z
dc.date.issued2010
dc.description.abstractN/A
dc.description.indexedbyWoS
dc.description.indexedbyScopus
dc.description.issue3
dc.description.openaccessNO
dc.description.publisherscopeInternational
dc.description.volume20
dc.identifier.doi10.1093/logcom/exn074
dc.identifier.issn0955-792X
dc.identifier.quartileQ2
dc.identifier.scopus2-s2.0-77952927098
dc.identifier.urihttp://dx.doi.org/10.1093/logcom/exn074
dc.identifier.urihttps://hdl.handle.net/20.500.14288/16947
dc.identifier.wos279004000001
dc.keywordsN/A
dc.languageEnglish
dc.publisherOxford University Press (OUP)
dc.sourceJournal 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.authoridN/A
local.contributor.kuauthorTaşıran, Serdar
relation.isOrgUnitOfPublication89352e43-bf09-4ef4-82f6-6f9d0174ebae
relation.isOrgUnitOfPublication.latestForDiscovery89352e43-bf09-4ef4-82f6-6f9d0174ebae

Files

Collections

Publications without Fulltext