Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/20383
Title: Modelling and analysis of the AMBA bus using CSP and B
Authors: McEwan, AA
Schneider, S
First Published: 10-Jun-2010
Citation: CONCURRENCY COMPUTATION PRACTICE AND EXPERIENCE, 2010, 22 (8), pp. 949-964
DOI Link: 10.1002/cpe.1432
ISSN: 1532-0626
eISSN: 1532-0634
Links: http://hdl.handle.net/2381/20383
Type: Journal Article
Appears in Collections:Published Articles, Dept. of Engineering

Files in This Item:
There are no files associated with this item.


Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.