@inproceedings{conf/csc/GrimmerK07,
	title = {An MPI Extension for Verified Numerical Computations in Parallel Environments.},
	author = {Markus Grimmer and Walter Krämer},
	booktitle = {CSC},
	crossref = {conf/csc/2007},
	editor = {Hamid R. Arabnia and Jack Y. Yang and Mary Qu Yang},
	pages = {111-117},
	publisher = {CSREA Press},
	url = {http://dblp.uni-trier.de/db/conf/csc/csc2007.html#GrimmerK07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/28c4b001e2a88ce86ba8278f63f80975c/dblp},
	description = {dblp},
	isbn = {1-60132-037-X}, date = {2007-12-20},
	keywords = {dblp }
}