%0 Conference Paper %1 conf/iceccs/Tang05 %A Tang, Peiyi %B ICECCS %D 2005 %I IEEE Computer Society %K dblp %P 106-115 %T Formal Methods to Generate Parallel Iterative Codes for PDE-Based Applications. %U http://dblp.uni-trier.de/db/conf/iceccs/iceccs2005.html#Tang05 %@ 0-7695-2284-X

@inproceedings{conf/iceccs/Tang05, added-at = {2015-04-23T00:00:00.000+0200}, author = {Tang, Peiyi}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2cfc4a261916628adafe9974faa67a971/dblp}, booktitle = {ICECCS}, crossref = {conf/iceccs/2005}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2005.46}, interhash = {7e697e0dbe237d6165529629748e49f2}, intrahash = {cfc4a261916628adafe9974faa67a971}, isbn = {0-7695-2284-X}, keywords = {dblp}, pages = {106-115}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T12:01:12.000+0100}, title = {Formal Methods to Generate Parallel Iterative Codes for PDE-Based Applications.}, url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2005.html#Tang05}, year = 2005 }