%0 Conference Paper %1 conf/snpd/HeKL07 %A He, Pei %A Kang, Lishan %A Li, Qiongzhang %B SNPD (3) %D 2007 %E Feng, Wenying %E Gao, Feng %I IEEE Computer Society %K dblp %P 623-628 %T Model for Parallel Verification of Programs. %U http://dblp.uni-trier.de/db/conf/snpd/snpd2007-3.html#HeKL07 %@ 0-7695-2909-7

@inproceedings{conf/snpd/HeKL07, added-at = {2023-03-23T00:00:00.000+0100}, author = {He, Pei and Kang, Lishan and Li, Qiongzhang}, biburl = {https://www.bibsonomy.org/bibtex/2b634599970883d8590340362d155626d/dblp}, booktitle = {SNPD (3)}, crossref = {conf/snpd/2007}, editor = {Feng, Wenying and Gao, Feng}, ee = {https://doi.ieeecomputersociety.org/10.1109/SNPD.2007.427}, interhash = {e1547c00c1016ce88b1a03afef0ca305}, intrahash = {b634599970883d8590340362d155626d}, isbn = {0-7695-2909-7}, keywords = {dblp}, pages = {623-628}, publisher = {IEEE Computer Society}, timestamp = {2024-04-09T20:14:26.000+0200}, title = {Model for Parallel Verification of Programs.}, url = {http://dblp.uni-trier.de/db/conf/snpd/snpd2007-3.html#HeKL07}, year = 2007 }