Special issue: MEMOCODE 2004. Selected papers based on the presentations at the 2nd IEEE/ACM international conference on formal methods and models for co-design, San Diego, CA, USA, June 22--25, 2004. (Q854394)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Special issue: MEMOCODE 2004. Selected papers based on the presentations at the 2nd IEEE/ACM international conference on formal methods and models for co-design, San Diego, CA, USA, June 22--25, 2004. |
scientific article; zbMATH DE number 5076917
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Special issue: MEMOCODE 2004. Selected papers based on the presentations at the 2nd IEEE/ACM international conference on formal methods and models for co-design, San Diego, CA, USA, June 22--25, 2004. |
scientific article; zbMATH DE number 5076917 |
Statements
Special issue: MEMOCODE 2004. Selected papers based on the presentations at the 2nd IEEE/ACM international conference on formal methods and models for co-design, San Diego, CA, USA, June 22--25, 2004. (English)
0 references
2006
0 references
0.7927805
0 references
0.78815633
0 references
0.78787327
0 references
0.7860505
0 references
0.78513765
0 references
0.7839078
0 references
0.7826338
0 references
0.78200376
0 references
0.7802061
0 references
