Correct hardware synthesis (English)
- New search for: Perna, Juan
- New search for: Woodcock, Jim
- New search for: Sampaio, Augusto
- New search for: Iyoda, Juliano
- New search for: Perna, Juan
- New search for: Woodcock, Jim
- New search for: Sampaio, Augusto
- New search for: Iyoda, Juliano
In:
Acta Informatica
;
48
, 7-8
; 363-396
;
2011
-
ISSN:
- Article (Journal) / Print
-
Title:Correct hardware synthesis
-
Contributors:Perna, Juan ( author ) / Woodcock, Jim ( author ) / Sampaio, Augusto ( author ) / Iyoda, Juliano ( author )
-
Published in:Acta Informatica ; 48, 7-8 ; 363-396
-
Publisher:
- New search for: Springer-Verlag
- New search for: Springer
-
Place of publication:Berlin
-
Publication date:2011
-
ISSN:
-
ZDBID:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 54.00
- Further information on Basic classification
- New search for: 020/3155
-
Keywords:
-
Classification:
-
Source:
Table of contents – Volume 48, Issue 7-8
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 363
-
Correct hardware synthesisPerna, Juan / Woodcock, Jim / Sampaio, Augusto / Iyoda, Juliano et al. | 2011
- 397
-
On α2 − ν2-products of automataDömösi, Pál / Maróti, György et al. | 2011
- 409
-
Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systemsAman, Bogdan / Ciobanu, Gabriel et al. | 2011
- 417
-
The query complexity of estimating weighted averagesChakrabarti, Amit / Guruswami, Venkatesan / Wirth, Andrew / Wirth, Anthony et al. | 2011