DC Element
Wert
Sprache
dc.contributor.editor
Ivrii, Alexander
-
dc.contributor.editor
Strichman, Ofer
-
dc.date.accessioned
2020-09-10T14:53:51Z
-
dc.date.available
2020-09-10T14:53:51Z
-
dc.date.issued
2020
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Ivrii, A., &#38; Strichman, O. (Eds.). (2020). <i>Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020</i> (Vol. 1). TU Wien Academic Press. https://doi.org/10.34727/2020/isbn.978-3-85448-042-6</div> </div>
-
dc.identifier.isbn
978-3-85448-042-6
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/15461
-
dc.identifier.uri
https://doi.org/10.34727/2020/isbn.978-3-85448-042-6
-
dc.language.iso
en
-
dc.publisher
TU Wien Academic Press
-
dc.rights.uri
http://creativecommons.org/licenses/by/4.0/
-
dc.subject
computer-aided system design
en
dc.title
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
en
dc.type
Proceedings
en
dc.type
Tagungsband
de
dc.rights.license
Creative Commons Namensnennung 4.0 International
de
dc.rights.license
Creative Commons Attribution 4.0 International
en
dc.identifier.doi
10.34727/2020/isbn.978-3-85448-042-6
-
dc.contributor.editoraffiliation
IBM Research - Haifa, Israel
-
dc.contributor.editoraffiliation
Technion – Israel Institute of Technology, Israel
-
dc.relation.issn
2708-7824
-
dc.type.category
Full Paper Book
-
dc.publisher.place
Wien
-
tuw.container.volume
1
-
tuw.peerreviewed
true
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_1
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_2
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_3
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_4
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_5
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_6
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_7
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_8
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_9
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_10
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_11
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_12
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_13
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_14
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_15
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_16
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_17
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_18
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_19
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_20
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_21
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_22
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_23
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_24
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_25
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_26
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_27
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_28
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_29
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_30
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_31
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_32
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_33
-
tuw.relation.haspart
10.34727/2020/isbn.978-3-85448-042-6_34
-
tuw.version
vor
-
tuw.linking
https://www.youtube.com/channel/UChDdMr--GIGYWw-q4iviihA
-
tuw.publication.orgunit
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
dc.identifier.libraryid
AC17203467
-
dc.description.numberOfPages
269
-
tuw.relation.ispartoftuwseries
Conference Series: Formal Methods in Computer-Aided Design
-
dc.rights.identifier
CC BY 4.0
de
dc.rights.identifier
CC BY 4.0
en
tuw.editor.orcid
0000-0002-5205-3580
-
tuw.editor.orcid
0000-0001-9169-3751
-
item.openairecristype
http://purl.org/coar/resource_type/c_f744
-
item.mimetype
application/pdf
-
item.languageiso639-1
en
-
item.openaccessfulltext
Open Access
-
item.fulltext
with Fulltext
-
item.grantfulltext
open
-
item.openairetype
conference proceedings
-
item.cerifentitytype
Publications
-
Enthalten in den Sammlungen:
Open Access Series
Proceedings
Miniaturbild
Ivrii Alexander - 2020 - Proceedings of the 20th Conference on Formal Methods in...pdf
Adobe PDF
(18.45 MB)
Published version
Open Access
Miniaturbild
Ivrii Alexander - 2020 - Proceedings of the 20th Conference on Formal Methods in...pdf
Adobe PDF
(325.06 kB)
Table of Contents
Open Access
Zur Kurzanzeige

Seiten Aufrufe

1.086
aufgerufen am 19.11.2023

Download(s)

588
aufgerufen am 19.11.2023

Google ScholarTM

Check