Formal specification of networks-on-chips: Deadlock and evacuation
Publication year
2010Publisher
Edinburgh : DATE
ISBN
9783981080162
In
DATE 2010 :Design, Automation and Test in Europe Conference and Exhibition, pp. 1701-1706Annotation
Design, Automation and Test in Europe Conference and Exhibition, DATE 2010; Dresden; 8 March 2010 through 12 March 2010, 08 maart 2010
Publication type
Article in monograph or in proceedings

Display more detailsDisplay less details
Organization
Software Science
Book title
DATE 2010 :Design, Automation and Test in Europe Conference and Exhibition
Page start
p. 1701
Page end
p. 1706
Subject
Software ScienceThis item appears in the following Collection(s)
- Academic publications [227245]
- Electronic publications [108531]
- Faculty of Science [34012]
- Open Access publications [77775]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.