Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/15461
https://doi.org/10.34727/2020/isbn.978-3-85448-042-6
-
Titel: 
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
en
Zitat: 
Ivrii, A., & Strichman, O. (Eds.). (2020). Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 (Vol. 1). TU Wien Academic Press. https://doi.org/10.34727/2020/isbn.978-3-85448-042-6
-
reposiTUm-DOI: 
10.34727/2020/isbn.978-3-85448-042-6
-
CatalogPlus: 
AC17203467
-
Publikationstyp: 
Tagungsband - Full Paper Book
de
Sprache: 
Englisch
-
Herausgeber_innen: 
Ivrii, Alexander 
Strichman, Ofer 
-
Organisations­einheit: 
E000 - Technische Universität Wien 
-
Reihe: 
Conference Series: Formal Methods in Computer-Aided Design 
-
ISBN: 
978-3-85448-042-6
-
Band: 
1
-
Datum (veröffentlicht): 
2020
-
Umfang: 
269
-
Verlag: 
TU Wien Academic Press, Wien
-
Peer Reviewed: 
Ja
-
Keywords: 
computer-aided system design
en
Link (extern): 
https://www.youtube.com/channel/UChDdMr--GIGYWw-q4iviihA
-
Zugehörige Publikationen und Daten in reposiTUm: beinhaltet: 
10.34727/2020/isbn.978-3-85448-042-6_1
10.34727/2020/isbn.978-3-85448-042-6_2
10.34727/2020/isbn.978-3-85448-042-6_3
10.34727/2020/isbn.978-3-85448-042-6_4
10.34727/2020/isbn.978-3-85448-042-6_5
10.34727/2020/isbn.978-3-85448-042-6_6
10.34727/2020/isbn.978-3-85448-042-6_7
10.34727/2020/isbn.978-3-85448-042-6_8
10.34727/2020/isbn.978-3-85448-042-6_9
10.34727/2020/isbn.978-3-85448-042-6_10
10.34727/2020/isbn.978-3-85448-042-6_11
10.34727/2020/isbn.978-3-85448-042-6_12
10.34727/2020/isbn.978-3-85448-042-6_13
10.34727/2020/isbn.978-3-85448-042-6_14
10.34727/2020/isbn.978-3-85448-042-6_15
10.34727/2020/isbn.978-3-85448-042-6_16
10.34727/2020/isbn.978-3-85448-042-6_17
10.34727/2020/isbn.978-3-85448-042-6_18
10.34727/2020/isbn.978-3-85448-042-6_19
10.34727/2020/isbn.978-3-85448-042-6_20
10.34727/2020/isbn.978-3-85448-042-6_21
10.34727/2020/isbn.978-3-85448-042-6_22
10.34727/2020/isbn.978-3-85448-042-6_23
10.34727/2020/isbn.978-3-85448-042-6_24
10.34727/2020/isbn.978-3-85448-042-6_25
10.34727/2020/isbn.978-3-85448-042-6_26
10.34727/2020/isbn.978-3-85448-042-6_27
10.34727/2020/isbn.978-3-85448-042-6_28
10.34727/2020/isbn.978-3-85448-042-6_29
10.34727/2020/isbn.978-3-85448-042-6_30
10.34727/2020/isbn.978-3-85448-042-6_31
10.34727/2020/isbn.978-3-85448-042-6_32
10.34727/2020/isbn.978-3-85448-042-6_33
10.34727/2020/isbn.978-3-85448-042-6_34
-
Lizenz: 
CC BY 4.0 CC BY 4.0
en
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 Langanzeige

Seiten Aufrufe

1.227
aufgerufen am 19.11.2023

Download(s)

665
aufgerufen am 19.11.2023

Google ScholarTM

Check