DC FieldValueLanguage
dc.contributor.editorIvrii, Alexander-
dc.contributor.editorStrichman, Ofer-
dc.date.accessioned2020-09-10T14:53:51Z-
dc.date.available2020-09-10T14:53:51Z-
dc.date.issued2020-
dc.identifier.isbn978-3-85448-042-6-
dc.identifier.urihttp://hdl.handle.net/20.500.12708/15461-
dc.identifier.urihttp://dx.doi.org/10.34727/2020/isbn.978-3-85448-042-6-
dc.language.isoen-
dc.publisherTU Wien Academic Press-
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/-
dc.subjectcomputer-aided system designen
dc.titleProceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020en
dc.typeProceedings-
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-
dc.contributor.editoraffiliationIBM Research-
dc.contributor.editoraffiliationTechnion - Israel Institute of Technology-
dc.relation.issn2708-7824-
dc.publisher.placeWien-
tuw.container.volume1-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_1-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_2-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_3-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_4-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_5-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_6-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_7-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_8-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_9-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_10-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_11-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_12-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_13-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_14-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_15-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_16-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_17-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_18-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_19-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_20-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_21-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_22-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_23-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_24-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_25-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_26-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_27-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_28-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_29-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_30-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_31-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_32-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_33-
tuw.relation.haspart10.34727/2020/isbn.978-3-85448-042-6_34-
tuw.versionvor-
tuw.linkinghttps://www.youtube.com/channel/UChDdMr--GIGYWw-q4iviihA-
tuw.publication.orgunitE192-04 - Forschungsbereich Formal Methods in Systems Engineering-
dc.description.numberOfPages269-
tuw.relation.ispartoftuwseriesConference Series: Formal Methods in Computer-Aided Design-
dc.contributor.serieseditorWarren A. Hunt, Georg Weissenbacher-
dc.rights.identifierCC BY 4.0de
dc.rights.identifierCC BY 4.0en
tuw.editor.orcid0000-0001-9169-3751-
item.languageiso639-1en-
item.cerifentitytypePublications-
item.openaccessfulltextOpen Access-
item.openairetypeProceedings-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.grantfulltextopen-
item.fulltextwith Fulltext-
Appears in Collections:Open Access Series
Proceedings

Files in this item:



Page view(s)

439
checked on Jan 4, 2022

Download(s)

366
checked on Jan 4, 2022

Google ScholarTM

Check


This item is licensed under a Creative Commons License Creative Commons