@inproceedings{conf/lwa/MullerK07,
	title = {panta rhei.},
	author = {Christine Müller and Michael Kohlhase},
	booktitle = {LWA},
	crossref = {conf/lwa/2007},
	editor = {Alexander Hinneburg},
	pages = {318-323},
	publisher = {Martin-Luther-University Halle-Wittenberg},
	url = {http://dblp.uni-trier.de/db/conf/lwa/lwa2007.html#MullerK07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/23675654c0f9e3c2b67a9bb68755a527a/dblp},
	description = {dblp},
	isbn = {978-3-86010-907-6}, date = {2007-11-16},
	keywords = {dblp }
}