@inproceedings{conf/charme/BeyerJKLP03,
	title = {Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP.},
	author = {Sven Beyer and Christian Jacobi and Daniel Kroening and Dirk Leinenbach and Wolfgang J. Paul},
	booktitle = {CHARME},
	crossref = {conf/charme/2003},
	editor = {Daniel Geist and Enrico Tronci},
	pages = {51-65},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/charme/charme2003.html#BeyerJKLP03},
	volume = {2860},
	year = {2003},
	biburl = {http://www.bibsonomy.org/bibtex/2cf3fd439bea94ce593df0f64b1989492/dblp},
	description = {dblp},
	date = {2008-02-08}, ee = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2860&spage=51}, isbn = {3-540-20363-X},
	keywords = {dblp }
}

@inproceedings{conf/ismb/LangeGSLHR07,
	title = {A geometric approach for the alignment of liquid chromatography - mass spectrometry data.},
	author = {Eva Lange and Clemens Gröpl and Ole Schulz-Trieglaff and Andreas Leinenbach and Christian G. Huber and Knut Reinert},
	booktitle = {ISMB/ECCB (Supplement of Bioinformatics)},
	pages = {273-281},
	url = {http://dblp.uni-trier.de/db/conf/ismb/ismb2007.html#LangeGSLHR07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/236b41fb9c5cfbce7df6063f7a8a892cc/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1093/bioinformatics/btm209}, date = {2008-01-11},
	keywords = {dblp }
}

@article{journals/corr/abs-0711-3305,
	title = {Measurement Technique for Elastic and Mechanical Properties of Polycrystalline Silicon-Germanium Films Using Surface Acoustic Waves and Projection Masks},
	author = {A. Bennis and C. Leinenbach and C. Raudzis and Roland Müller-Fiedler and S. Kronmüller},
	journal = {CoRR},
	note = {informal publication},
	url = {http://dblp.uni-trier.de/db/journals/corr/corr0711.html#abs-0711-3305},
	volume = {abs/0711.3305},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2b8589b222a3fa99e7d9b52fddf5d8c5b/dblp},
	description = {dblp},
	ee = {http://arxiv.org/abs/0711.3305}, date = {2008-01-02},
	keywords = {dblp }
}

@book{Leinenbach.1990,
	title = {Die K{\"o}rperlichkeit der Technik:  Zur Organprojektionstheorie Ernst Kapps:  Dissertation},
	address = {Essen},
	author = {Harald Leinenbach},
	publisher = {Die Blaue Eule},
	series = {Genealogica},
	volume = {15},
	year = {1990},
	biburl = {http://www.bibsonomy.org/bibtex/2ab4d187a58a7c4d53c97ba752ae19614/stromgeist},
	description = {import},
	price = {DM 32.00}, isbn = {3--89206--333--8},
	keywords = {Kapp,-Ernst-(Geograph) Maschine Organismus Philosophie Technik }
}

@inproceedings{conf/gi/ThomasWLSL06,
	title = {Mobile Anwendungssysteme für effiziente Dienstleistungsprozesse im technischen Kundendienst.},
	author = {Oliver Thomas and Philipp Walter and Peter Loos and Michael Schlicker and Stefan Leinenbach},
	booktitle = {GI Jahrestagung (1)},
	crossref = {conf/gi/2006-1},
	editor = {Christian Hochberger and Rüdiger Liskowsky},
	pages = {202-207},
	publisher = {GI},
	series = {LNI},
	url = {http://dblp.uni-trier.de/db/conf/gi/gi2006-1.html#ThomasWLSL06},
	volume = {93},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/280939da639216b9866a8587d0ba8015e/dblp},
	description = {dblp},
	isbn = {978-3-88579-187-4}, date = {2007-05-08},
	keywords = {dblp }
}

@inproceedings{conf/iccd/BeyerBGHRKLP05,
	title = {Towards the Formal Verification of Lower System Layers in Automotive Systems.},
	author = {Sven Beyer and Peter Böhm and Michael Gerke 0002 and Mark A. Hillebrand and Thomas In der Rieden and Steffen Knapp and Dirk Leinenbach and Wolfgang J. Paul},
	booktitle = {ICCD},
	crossref = {conf/iccd/2005},
	pages = {317-326},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/iccd/iccd2005.html#BeyerBGHRKLP05},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/25cdb69c93ac01a13ad6b919ef7a32b70/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/ICCD.2005.110}, isbn = {0-7695-2451-6}, date = {2007-02-08},
	keywords = {dblp }
}

@article{journals/sttt/BeyerJKLP06,
	title = {Putting it all together - Formal verification of the VAMP.},
	author = {Sven Beyer and Christian Jacobi and Daniel Kröning and Dirk Leinenbach and Wolfgang J. Paul},
	journal = {STTT},
	number = {4-5},
	pages = {411-430},
	url = {http://dblp.uni-trier.de/db/journals/sttt/sttt8.html#BeyerJKLP06},
	volume = {8},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2c30caa9de6a17870ad4509c356145a2e/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/s10009-006-0204-6}, date = {2007-02-07},
	keywords = {dblp }
}

@inproceedings{conf/dagstuhl/DelmotteMLRKKH05,
	title = {Evaluation of LC-MS data for the absolute quantitative analysis of marker proteins.},
	author = {Nathanaël Delmotte and Bettina M. Mayr and Andreas Leinenbach and Knut Reinert and Oliver Kohlbacher and Christoph L. Klein and Christian G. Huber},
	booktitle = {Computational Proteomics},
	crossref = {conf/dagstuhl/2005P5471},
	editor = {Christian G. Huber and Oliver Kohlbacher and Knut Reinert},
	publisher = {Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany},
	series = {Dagstuhl Seminar Proceedings},
	url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P5471.html#DelmotteMLRKKH05},
	volume = {05471},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/20869ae104d599ca7e10b82381d3aa180/dblp},
	description = {dblp},
	ee = {http://drops.dagstuhl.de/opus/volltexte/2006/539}, date = {2006-05-10},
	keywords = {dblp }
}

@inproceedings{conf/tphol/GarganoHLP05,
	title = {On the Correctness of Operating System Kernels.},
	author = {Mauro Gargano and Mark A. Hillebrand and Dirk Leinenbach and Wolfgang J. Paul},
	booktitle = {TPHOLs},
	crossref = {conf/tphol/2005},
	editor = {Joe Hurd and Thomas F. Melham},
	pages = {1-16},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/tphol/tphol2005.html#GarganoHLP05},
	volume = {3603},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/283c827eb649be4db2e5f0154671e7210/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/11541868_1}, isbn = {3-540-28372-2}, date = {2006-05-03},
	keywords = {dblp }
}

@inproceedings{conf/sefm/LeinenbachPP05,
	title = {Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes.},
	author = {Dirk Leinenbach and Wolfgang J. Paul and Elena Petrova},
	booktitle = {SEFM},
	crossref = {conf/sefm/2005},
	editor = {Bernhard K. Aichernig and Bernhard Beckert},
	pages = {2-12},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2005.html#LeinenbachPP05},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/251af565033c94ac4d844291c35497af0/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2005.51}, isbn = {0-7695-2435-4}, date = {2006-01-06},
	keywords = {dblp }
}