DC FieldValueLanguage
dc.contributor.authorFedotov, Alexander-
dc.contributor.authorKeiren, Jeroen J.A.-
dc.contributor.authorSchmaltz, Julien-
dc.contributor.editorIvrii, Alexander-
dc.contributor.editorStrichman, Ofer-
dc.date.accessioned2020-09-11T13:56:43Z-
dc.date.available2020-09-11T13:56:43Z-
dc.date.issued2020-
dc.identifier.urihttp://hdl.handle.net/20.500.12708/15503-
dc.identifier.urihttp://dx.doi.org/10.34727/2020/isbn.978-3-85448-042-6_7-
dc.language.isoen-
dc.publisherTU Wien Academic Press-
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/-
dc.subjectcomputer-aided system designen
dc.titleEffective System Level Liveness Verificationen
dc.typeInproceedings-
dc.rights.licenseCreative Commons Namensnennung 4.0 Internationalde
dc.rights.licenseCreative Commons Attribution 4.0 Internationalen
dc.identifier.doi10.34727/2020/isbn.978-3-85448-042-6_7-
dc.contributor.affiliationEindhoven University of Technology, The Netherlands-
dc.contributor.affiliationEindhoven University of Technology, The Netherlands-
dc.contributor.affiliationICT Group, The Netherlands-
dc.contributor.editoraffiliationIBM Research, Israel-
dc.contributor.editoraffiliationTechnion - Israel Institute of Technology, Israel-
dc.relation.isbn978-3-85448-042-6-
dc.description.startpage7-
dc.description.endpage15-
dc.relation.eissn2708-7824-
dc.publisher.placeWien-
tuw.booktitleProceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020-
tuw.container.volume1-
tuw.relation.ispartof10.34727/2020/isbn.978-3-85448-042-6-
tuw.versionvor-
tuw.book.chapter7-
tuw.publication.orgunitE192-04 - Forschungsbereich Formal Methods in Systems Engineering-
dc.description.numberOfPages9-
tuw.relation.ispartoftuwseriesConference Series: Formal Methods in Computer-Aided Design-
dc.rights.identifierCC BY 4.0de
dc.rights.identifierCC BY 4.0en
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openaccessfulltextOpen Access-
item.openairetypeInproceedings-
item.fulltextwith Fulltext-
item.languageiso639-1en-
item.grantfulltextopen-
item.cerifentitytypePublications-
crisitem.author.deptEindhoven University of Technology, The Netherlands-
crisitem.author.deptEindhoven University of Technology, The Netherlands-
crisitem.author.deptICT Group, The Netherlands-
Appears in Collections:Conference Paper
Open Access Series

Files in this item:

Adobe PDF
(495.65 kB)
Published version
Open Access

Page view(s)

137
checked on Sep 5, 2021

Download(s)

84
checked on Sep 5, 2021

Google ScholarTM

Check


This item is licensed under a Creative Commons License Creative Commons