@book{reetz1984,
	title = {Wirtschaftsdidaktik : eine Einführung in Theorie und Praxis wirtschaftsberuflicher Curriculumentwicklung und Unterrichtsgestaltung},
	address = {Klinkhardt},
	annote = {263 S},
	author = {{Lothar} Reetz},
	howpublished = {Bad Heilbrunn/Obb.},
	url = {http://gso.gbv.de/DB=2.1/CMD?ACT=SRCHA&SRT=YOP&IKT=1016&TRM=ppn+027390195&sourceid=fbw_bibsonomy},
	year = {1984},
	biburl = {http://www.bibsonomy.org/bibtex/28125babb0223b909ae8662f5094defed/fbw},
	description = {imported},
	isbn = {3-7815-0554-5},
	keywords = {imported }
}

@book{lehmann1995,
	title = {Zukunftsenergien : Strategien einer neuen Energiepolitik},
	address = {Birkhäuser},
	annote = {282 S},
	author = {{Harry} Lehmann and {Torsten} Reetz},
	howpublished = {Berlin [u.a.]},
	url = {http://gso.gbv.de/DB=2.1/CMD?ACT=SRCHA&SRT=YOP&IKT=1016&TRM=ppn+182853799&sourceid=fbw_bibsonomy},
	year = {1995},
	biburl = {http://www.bibsonomy.org/bibtex/27a8cfdbb81e78ea282c167607b95eaf8/fbw},
	description = {imported},
	isbn = {3-7643-5144-6},
	keywords = {imported }
}

@inproceedings{conf/europar/ClementiRMR06,
	title = {UNICORE Deployment Within the DEISA Supercomputing Grid Infrastructure.},
	author = {Luca Clementi and Michael Rambadt and Roger Menday and Johannes Reetz},
	booktitle = {Euro-Par Workshops},
	crossref = {conf/europar/2006w},
	editor = {Wolfgang Lehner and Norbert Meyer and Achim Streit and Craig Stewart},
	pages = {264-273},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/europar/europar2006w.html#ClementiRMR06},
	volume = {4375},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/20b59d110625cf73befdf8fe8aa3a2f85/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/978-3-540-72337-0_26}, isbn = {978-3-540-72226-7}, date = {2007-09-20},
	keywords = {dblp }
}

@inproceedings{conf/graphicsinterface/ReetzGSNS06,
	title = {Superflick: a natural and efficient technique for long-distance object placement on digital tables.},
	author = {Adrian Reetz and Carl Gutwin and Tadeusz Stach and Miguel A. Nacenta and Sriram Subramanian},
	booktitle = {Graphics Interface},
	crossref = {conf/graphicsinterface/2006},
	editor = {Carl Gutwin and Stephen Mann},
	pages = {163-170},
	publisher = {Canadian Human-Computer Communications Society},
	url = {http://dblp.uni-trier.de/db/conf/graphicsinterface/graphicsinterface2006.html#ReetzGSNS06},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2a8c4b113b6d87e8b643d0d66b6878349/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/1143079.1143106}, isbn = {1-56881-308-2}, date = {2007-02-14},
	keywords = {dblp }
}

@inproceedings{conf/date/ReetzSK98,
	title = {Formal Specification in VHDL for Hardware Verification.},
	author = {Ralf Reetz and Klaus Schneider and Thomas Kropf},
	booktitle = {DATE},
	crossref = {conf/date/1998},
	pages = {257-},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/date/date1998.html#ReetzSK98},
	year = {1998},
	biburl = {http://www.bibsonomy.org/bibtex/280d46c321fc63e8f61c9e40c0940576d/dblp},
	description = {dblp},
	ee = {http://csdl.computer.org/comp/proceedings/date/1998/8359/00/83590257abs.htm}, date = {2003-09-17},
	keywords = {dblp }
}

@inproceedings{conf/ams/GutmannNR00,
	title = {CS Freiburg: Architektur und Aktionsauswahl im Roboterfussfall.},
	author = {Jens-Steffen Gutmann and Bernhard Nebel and Christian Reetz},
	booktitle = {AMS},
	crossref = {conf/ams/2000},
	editor = {Rüdiger Dillmann and Heinz Wörn and Markus von Ehr},
	pages = {345-352},
	publisher = {Springer},
	series = {Informatik Aktuell},
	url = {http://dblp.uni-trier.de/db/conf/ams/ams2000.html#GutmannNR00},
	year = {2000},
	biburl = {http://www.bibsonomy.org/bibtex/25b21b322049f78031cc7e6d5a81ad9de/dblp},
	description = {dblp},
	isbn = {3-540-41214-X}, date = {2002-08-29},
	keywords = {dblp }
}

@inproceedings{conf/tphol/Reetz95,
	title = {Deep Embedding VHDL.},
	author = {Ralf Reetz},
	booktitle = {TPHOLs},
	crossref = {conf/tphol/1995},
	editor = {E. Thomas Schubert and Phillip J. Windley and Jim Alves-Foss},
	pages = {277-292},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/tphol/tphol95.html#Reetz95},
	volume = {971},
	year = {1995},
	biburl = {http://www.bibsonomy.org/bibtex/2a7e909b469170f1c3d7e1c018e8c2317/dblp},
	description = {dblp},
	isbn = {3-540-60275-5}, date = {2002-01-03},
	keywords = {dblp }
}

@inproceedings{conf/tphol/ReetzK94,
	title = {Simplifying Deep Embedding: A Formalised Code Generator.},
	author = {Ralf Reetz and Thomas Kropf},
	booktitle = {TPHOLs},
	crossref = {conf/tphol/1994},
	editor = {Thomas F. Melham and Juanito Camilleri},
	pages = {378-390},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/tphol/tphol94.html#ReetzK94},
	volume = {859},
	year = {1994},
	biburl = {http://www.bibsonomy.org/bibtex/29c8635c699dcbee69758df63201e4d44/dblp},
	description = {dblp},
	isbn = {3-540-58450-1}, date = {2002-01-03},
	keywords = {dblp }
}

@article{journals/fmsd/ReetzK95,
	title = {A Flowgraph Semantics of VHDL: Toward a VHDL Verification Workbench in HOL.},
	author = {Ralf Reetz and Thomas Kropf},
	journal = {Formal Methods in System Design},
	number = {1/2},
	pages = {73-99},
	url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd7.html#ReetzK95},
	volume = {7},
	year = {1995},
	biburl = {http://www.bibsonomy.org/bibtex/2407afffd863c5ea739ba17bde738bf77/dblp},
	description = {dblp},
	date = {2002-01-03},
	keywords = {dblp }
}