Eintrag weiter verarbeiten
1991 International Workshop on formal methods in VLSI Design (trip report)
Gespeichert in:
Zeitschriftentitel: | ACM SIGDA Newsletter |
---|---|
Personen und Körperschaften: | |
In: | ACM SIGDA Newsletter, 21, 1991, 1, S. 85-86 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Association for Computing Machinery (ACM)
|
Schlagwörter: |
author_facet |
Zhu, Zheng Zhu, Zheng |
---|---|
author |
Zhu, Zheng |
spellingShingle |
Zhu, Zheng ACM SIGDA Newsletter 1991 International Workshop on formal methods in VLSI Design (trip report) General Chemical Engineering |
author_sort |
zhu, zheng |
spelling |
Zhu, Zheng 0163-5743 Association for Computing Machinery (ACM) General Chemical Engineering http://dx.doi.org/10.1145/126990.126999 1991 International Workshop on formal methods in VLSI Design (trip report) ACM SIGDA Newsletter |
doi_str_mv |
10.1145/126990.126999 |
facet_avail |
Online Free |
format |
ElectronicArticle |
fullrecord |
blob:ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTE0NS8xMjY5OTAuMTI2OTk5 |
id |
ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTE0NS8xMjY5OTAuMTI2OTk5 |
institution |
DE-Zi4 DE-Gla1 DE-15 DE-Pl11 DE-Rs1 DE-14 DE-105 DE-Ch1 DE-L229 DE-D275 DE-Bn3 DE-Brt1 DE-Zwi2 DE-D161 |
imprint |
Association for Computing Machinery (ACM), 1991 |
imprint_str_mv |
Association for Computing Machinery (ACM), 1991 |
issn |
0163-5743 |
issn_str_mv |
0163-5743 |
language |
English |
mega_collection |
Association for Computing Machinery (ACM) (CrossRef) |
match_str |
zhu19911991internationalworkshoponformalmethodsinvlsidesigntripreport |
publishDateSort |
1991 |
publisher |
Association for Computing Machinery (ACM) |
recordtype |
ai |
record_format |
ai |
series |
ACM SIGDA Newsletter |
source_id |
49 |
title |
1991 International Workshop on formal methods in VLSI Design (trip report) |
title_unstemmed |
1991 International Workshop on formal methods in VLSI Design (trip report) |
title_full |
1991 International Workshop on formal methods in VLSI Design (trip report) |
title_fullStr |
1991 International Workshop on formal methods in VLSI Design (trip report) |
title_full_unstemmed |
1991 International Workshop on formal methods in VLSI Design (trip report) |
title_short |
1991 International Workshop on formal methods in VLSI Design (trip report) |
title_sort |
1991 international workshop on formal methods in vlsi design (trip report) |
topic |
General Chemical Engineering |
url |
http://dx.doi.org/10.1145/126990.126999 |
publishDate |
1991 |
physical |
85-86 |
description |
|
container_issue |
1 |
container_start_page |
85 |
container_title |
ACM SIGDA Newsletter |
container_volume |
21 |
format_de105 |
Article, E-Article |
format_de14 |
Article, E-Article |
format_de15 |
Article, E-Article |
format_de520 |
Article, E-Article |
format_de540 |
Article, E-Article |
format_dech1 |
Article, E-Article |
format_ded117 |
Article, E-Article |
format_degla1 |
E-Article |
format_del152 |
Buch |
format_del189 |
Article, E-Article |
format_dezi4 |
Article |
format_dezwi2 |
Article, E-Article |
format_finc |
Article, E-Article |
format_nrw |
Article, E-Article |
_version_ |
1792329430396305416 |
geogr_code |
not assigned |
last_indexed |
2024-03-01T13:09:02.267Z |
geogr_code_person |
not assigned |
openURL |
url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=1991+International+Workshop+on+formal+methods+in+VLSI+Design+%28trip+report%29&rft.date=1991-06-01&genre=article&issn=0163-5743&volume=21&issue=1&spage=85&epage=86&pages=85-86&jtitle=ACM+SIGDA+Newsletter&atitle=1991+International+Workshop+on+formal+methods+in+VLSI+Design+%28trip+report%29&aulast=Zhu&aufirst=Zheng&rft_id=info%3Adoi%2F10.1145%2F126990.126999&rft.language%5B0%5D=eng |
SOLR | |
_version_ | 1792329430396305416 |
author | Zhu, Zheng |
author_facet | Zhu, Zheng, Zhu, Zheng |
author_sort | zhu, zheng |
container_issue | 1 |
container_start_page | 85 |
container_title | ACM SIGDA Newsletter |
container_volume | 21 |
description | |
doi_str_mv | 10.1145/126990.126999 |
facet_avail | Online, Free |
format | ElectronicArticle |
format_de105 | Article, E-Article |
format_de14 | Article, E-Article |
format_de15 | Article, E-Article |
format_de520 | Article, E-Article |
format_de540 | Article, E-Article |
format_dech1 | Article, E-Article |
format_ded117 | Article, E-Article |
format_degla1 | E-Article |
format_del152 | Buch |
format_del189 | Article, E-Article |
format_dezi4 | Article |
format_dezwi2 | Article, E-Article |
format_finc | Article, E-Article |
format_nrw | Article, E-Article |
geogr_code | not assigned |
geogr_code_person | not assigned |
id | ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTE0NS8xMjY5OTAuMTI2OTk5 |
imprint | Association for Computing Machinery (ACM), 1991 |
imprint_str_mv | Association for Computing Machinery (ACM), 1991 |
institution | DE-Zi4, DE-Gla1, DE-15, DE-Pl11, DE-Rs1, DE-14, DE-105, DE-Ch1, DE-L229, DE-D275, DE-Bn3, DE-Brt1, DE-Zwi2, DE-D161 |
issn | 0163-5743 |
issn_str_mv | 0163-5743 |
language | English |
last_indexed | 2024-03-01T13:09:02.267Z |
match_str | zhu19911991internationalworkshoponformalmethodsinvlsidesigntripreport |
mega_collection | Association for Computing Machinery (ACM) (CrossRef) |
physical | 85-86 |
publishDate | 1991 |
publishDateSort | 1991 |
publisher | Association for Computing Machinery (ACM) |
record_format | ai |
recordtype | ai |
series | ACM SIGDA Newsletter |
source_id | 49 |
spelling | Zhu, Zheng 0163-5743 Association for Computing Machinery (ACM) General Chemical Engineering http://dx.doi.org/10.1145/126990.126999 1991 International Workshop on formal methods in VLSI Design (trip report) ACM SIGDA Newsletter |
spellingShingle | Zhu, Zheng, ACM SIGDA Newsletter, 1991 International Workshop on formal methods in VLSI Design (trip report), General Chemical Engineering |
title | 1991 International Workshop on formal methods in VLSI Design (trip report) |
title_full | 1991 International Workshop on formal methods in VLSI Design (trip report) |
title_fullStr | 1991 International Workshop on formal methods in VLSI Design (trip report) |
title_full_unstemmed | 1991 International Workshop on formal methods in VLSI Design (trip report) |
title_short | 1991 International Workshop on formal methods in VLSI Design (trip report) |
title_sort | 1991 international workshop on formal methods in vlsi design (trip report) |
title_unstemmed | 1991 International Workshop on formal methods in VLSI Design (trip report) |
topic | General Chemical Engineering |
url | http://dx.doi.org/10.1145/126990.126999 |