%0 Conference Paper %1 conf/icess/ZhuLGW04 %A Zhu, Yun %A Li, Xi %A Gong, Yuchang %A Wang, Zhi-Gang %B ICESS %D 2004 %E Wu, Zhaohui %E Chen, Chun %E Guo, Minyi %E Bu, Jiajun %I Springer %K dblp %P 203-209 %T PN-based Formal Modeling and Verification for ASIP Architecture. %U http://dblp.uni-trier.de/db/conf/icess/icess2004.html#ZhuLGW04 %V 3605 %@ 3-540-28128-2

@inproceedings{conf/icess/ZhuLGW04, added-at = {2017-10-20T00:00:00.000+0200}, author = {Zhu, Yun and Li, Xi and Gong, Yuchang and Wang, Zhi-Gang}, biburl = {https://www.bibsonomy.org/bibtex/2efa89909044a5bfcbeab7fce1930f278/dblp}, booktitle = {ICESS}, crossref = {conf/icess/2004}, editor = {Wu, Zhaohui and Chen, Chun and Guo, Minyi and Bu, Jiajun}, ee = {https://doi.org/10.1007/11535409_28}, interhash = {bcdc2e42322b3c5477e48bed0c90595f}, intrahash = {efa89909044a5bfcbeab7fce1930f278}, isbn = {3-540-28128-2}, keywords = {dblp}, pages = {203-209}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-07-23T11:39:22.000+0200}, title = {PN-based Formal Modeling and Verification for ASIP Architecture.}, url = {http://dblp.uni-trier.de/db/conf/icess/icess2004.html#ZhuLGW04}, volume = 3605, year = 2004 }