Metadata only
Date
2004Type
- Conference Paper
Publication status
publishedExternal links
Book title
Proceedings / Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004, MEMOCODE '04 : June 23 - 25, 2004, San Diego, CaliforniaPages / Article No.
Publisher
IEEE Service CenterEvent
Organisational unit
03634 - Basin, David / Basin, David
More
Show all metadata