search result

Cover von Formalizing On Chip Communications in a Functional Style

Formalizing On Chip Communications in a Functional Style

Year: 2006
Media group: ARTICLE
Cover von Interactive Theorem Proving
Second International Conference, Berg en Dal, The Netherlands, August 22 - 25, 2011, Proceedings
Search for this author
Year: 2011
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6898
Media group: MONOGRAPHIE
OPEN V 11.1.0.0