Adelaide Research & Scholarship
Please use this identifier to cite or link to this item:
https://hdl.handle.net/2440/62365
| Type: | Book chapter |
| Title: | Transfer-resource graph and petri-net for system-on-chip verification |
| Author: | Xu, X. Lim, C. |
| Citation: | Petri Nets, 2010 / Pawlewski, P. (ed./s), pp.117-138 |
| Publisher: | InTech |
| Publisher Place: | Open Access |
| Issue Date: | 2010 |
| ISBN: | 9789533070476 |
| Editor: | Pawlewski, P. |
| Statement of Responsibility: | Xiaoxi Xu and Cheng-Chew Lim |
| Published version: | http://www.intechopen.com/articles/show/title/transfer-resource-graph-and-petri-net-for-system-on-chip-verification |
| Appears in Collections: | Aurora harvest Electrical and Electronic Engineering publications |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.