DC FieldValueLanguage
dc.contributor.authorSauter, Gerald-
dc.contributor.authorDierks, Henning-
dc.contributor.authorFränzle, Martin-
dc.contributor.authorHansen, Michael R.-
dc.date.accessioned2020-08-26T12:16:11Z-
dc.date.available2020-08-26T12:16:11Z-
dc.date.issued2009-
dc.identifier.isbn978-87-643-0565-4en_US
dc.identifier.urihttp://hdl.handle.net/20.500.12738/3182-
dc.language.isoenen_US
dc.publisherTechnical University of Denmark, DTU Informaticsen_US
dc.relation.ispartofseriesProceedings of the 21st Nordic Workshop on Programming Theory
dc.subject.ddc600: Techniken_US
dc.titleLight-weight hybrid model checking facilitating online prediction of temporal propertiesen
dc.typeinProceedingsen_US
dc.relation.conferenceNordic Workshop on Programming Theory 2009en_US
local.contributorPerson.editorReichhardt Hansen, Michael-
local.contributorPerson.editorWiid Brekling, Aske-
tuhh.container.endpage22en_US
tuhh.container.startpage20en_US
tuhh.oai.showtrueen_US
tuhh.publication.instituteCarl von Ossietzky Universität Oldenburg. Forschungs- und Entwicklungsinstitut für Informatik-Werkzeuge und -Systemeen_US
tuhh.relation.ispartofseriesProceedings of the 21st Nordic Workshop on Programming Theory, NWPT'09, Lyngby, Denmark, 14-16 October 2009en_US
tuhh.type.opusInProceedings (Aufsatz / Paper einer Konferenz etc.)-
dc.type.casraiConference Paper-
dc.type.dinicontributionToPeriodical-
dc.type.drivercontributionToPeriodical-
dc.type.statusinfo:eu-repo/semantics/publishedVersionen_US
dcterms.DCMITypeText-
item.creatorGNDSauter, Gerald-
item.creatorGNDDierks, Henning-
item.creatorGNDFränzle, Martin-
item.creatorGNDHansen, Michael R.-
item.fulltextNo Fulltext-
item.creatorOrcidSauter, Gerald-
item.creatorOrcidDierks, Henning-
item.creatorOrcidFränzle, Martin-
item.creatorOrcidHansen, Michael R.-
item.seriesrefProceedings of the 21st Nordic Workshop on Programming Theory, NWPT'09, Lyngby, Denmark, 14-16 October 2009-
item.grantfulltextnone-
item.cerifentitytypePublications-
item.tuhhseriesidProceedings of the 21st Nordic Workshop on Programming Theory, NWPT'09, Lyngby, Denmark, 14-16 October 2009-
item.languageiso639-1en-
item.openairecristypehttp://purl.org/coar/resource_type/c_5794-
item.openairetypeinProceedings-
crisitem.author.deptDepartment Informations- und Elektrotechnik-
crisitem.author.parentorgFakultät Technik und Informatik-
Appears in Collections:Publications without full text
Show simple item record

Page view(s)

35
checked on Dec 26, 2024

Google ScholarTM

Check

HAW Katalog

Check

Add Files to Item

Note about this record

Export

Items in REPOSIT are protected by copyright, with all rights reserved, unless otherwise indicated.