%0 Conference Paper %1 conf/sac/ChuHLCHC11 %A Chu, Peng-Hua %A Hsueh, Nien-Lin %A Lee, Chien-Ching %A Chuang, Min-Ju %A Hsiung, Pao-Ann %A Chu, William C. %B SAC %D 2011 %E Chu, William C. %E Wong, W. Eric %E Palakal, Mathew J. %E Hung, Chih-Cheng %I ACM %K dblp %P 49-53 %T A pattern-based verification approach for a multi-core system development. %U http://dblp.uni-trier.de/db/conf/sac/sac2011.html#ChuHLCHC11 %@ 978-1-4503-0113-8

@inproceedings{conf/sac/ChuHLCHC11, added-at = {2018-11-06T00:00:00.000+0100}, author = {Chu, Peng-Hua and Hsueh, Nien-Lin and Lee, Chien-Ching and Chuang, Min-Ju and Hsiung, Pao-Ann and Chu, William C.}, biburl = {https://www.bibsonomy.org/bibtex/24816248f6256913785ff86f3e333cfca/dblp}, booktitle = {SAC}, crossref = {conf/sac/2011}, editor = {Chu, William C. and Wong, W. Eric and Palakal, Mathew J. and Hung, Chih-Cheng}, ee = {https://doi.org/10.1145/1982185.1982198}, interhash = {6032783478bdde6d170bd7bf099ac648}, intrahash = {4816248f6256913785ff86f3e333cfca}, isbn = {978-1-4503-0113-8}, keywords = {dblp}, pages = {49-53}, publisher = {ACM}, timestamp = {2018-11-07T13:12:22.000+0100}, title = {A pattern-based verification approach for a multi-core system development.}, url = {http://dblp.uni-trier.de/db/conf/sac/sac2011.html#ChuHLCHC11}, year = 2011 }