BibSonomy publications for /author/Leinenbach http://www.bibsonomy.org/author/Leinenbach BibSonomy RSS Feed for /author/Leinenbach The Verisoft Approach to Systems Verification. dblp http://www.bibsonomy.org/bibtex/2156a15328eb6e816c03b3cde8024b847/dblp dblp 2008-10-02T00:00:00+02:00 dblp
The Verisoft Approach to Systems Verification.
Eyad Alkassar and Mark A. Hillebrand and Dirk Leinenbach and Norbert Schirmer and Artem Starostin VSTTE 209-224 (2008)
to dblp by dblp on 2008-10-02 00:00:00
]]> Pervasive Compiler Verification - From Verified Programs to Verified Systems. dblp http://www.bibsonomy.org/bibtex/295a17fede8a23d70bae525363836201d/dblp dblp 2008-08-21T00:00:00+02:00 dblp
Pervasive Compiler Verification - From Verified Programs to Verified Systems.
Dirk Leinenbach and Elena Petrova Electr. Notes Theor. Comput. Sci. 217 23-40 (2008)
to dblp by dblp on 2008-08-21 00:00:00
]]> Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP. dblp http://www.bibsonomy.org/bibtex/2cf3fd439bea94ce593df0f64b1989492/dblp dblp 2008-02-08T00:00:00+01:00 dblp
Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP.
Sven Beyer and Christian Jacobi and Daniel Kroening and Dirk Leinenbach and Wolfgang J. Paul CHARME 51-65 (2003)
to dblp by dblp on 2008-02-08 00:00:00
]]> A geometric approach for the alignment of liquid chromatography - mass spectrometry data. dblp http://www.bibsonomy.org/bibtex/236b41fb9c5cfbce7df6063f7a8a892cc/dblp dblp 2008-01-11T00:00:00+01:00 dblp
A geometric approach for the alignment of liquid chromatography - mass spectrometry data.
Eva Lange and Clemens Gröpl and Ole Schulz-Trieglaff and Andreas Leinenbach and Christian G. Huber and Knut Reinert ISMB/ECCB (Supplement of Bioinformatics) 273-281 (2007)
to dblp by dblp on 2008-01-11 00:00:00
]]> Measurement Technique for Elastic and Mechanical Properties of Polycrystalline Silicon-Germanium Films Using Surface Acoustic Waves and Projection Masks dblp http://www.bibsonomy.org/bibtex/2b8589b222a3fa99e7d9b52fddf5d8c5b/dblp dblp 2008-01-02T00:00:00+01:00 dblp
Measurement Technique for Elastic and Mechanical Properties of Polycrystalline Silicon-Germanium Films Using Surface Acoustic Waves and Projection Masks
A. Bennis and C. Leinenbach and C. Raudzis and Roland Müller-Fiedler and S. Kronmüller CoRR abs/0711.3305 (2007)
to dblp by dblp on 2008-01-02 00:00:00
]]> Die Körperlichkeit der Technik: Zur Organprojektionstheorie Ernst Kapps: Dissertation import http://www.bibsonomy.org/bibtex/2ab4d187a58a7c4d53c97ba752ae19614/stromgeist stromgeist 2007-12-25T11:08:40+01:00 Kapp,-Ernst-(Geograph) Maschine Organismus Philosophie Technik
Die Körperlichkeit der Technik: Zur Organprojektionstheorie Ernst Kapps: Dissertation
Harald Leinenbach (1990)
to Kapp,-Ernst-(Geograph) Maschine Organismus Philosophie Technik by stromgeist on 2007-12-25 11:08:40
]]> Mobile Anwendungssysteme für effiziente Dienstleistungsprozesse im technischen Kundendienst. dblp http://www.bibsonomy.org/bibtex/280939da639216b9866a8587d0ba8015e/dblp dblp 2007-05-08T00:00:00+02:00 dblp
Mobile Anwendungssysteme für effiziente Dienstleistungsprozesse im technischen Kundendienst.
Oliver Thomas and Philipp Walter and Peter Loos and Michael Schlicker and Stefan Leinenbach GI Jahrestagung (1) 202-207 (2006)
to dblp by dblp on 2007-05-08 00:00:00
]]> Towards the Formal Verification of Lower System Layers in Automotive Systems. dblp http://www.bibsonomy.org/bibtex/25cdb69c93ac01a13ad6b919ef7a32b70/dblp dblp 2007-02-08T00:00:00+01:00 dblp
Towards the Formal Verification of Lower System Layers in Automotive Systems.
Sven Beyer and Peter Böhm and Michael Gerke and Mark A. Hillebrand and Thomas In der Rieden and Steffen Knapp and Dirk Leinenbach and Wolfgang J. Paul ICCD 317-326 (2005)
to dblp by dblp on 2007-02-08 00:00:00
]]> Putting it all together - Formal verification of the VAMP. dblp http://www.bibsonomy.org/bibtex/2c30caa9de6a17870ad4509c356145a2e/dblp dblp 2007-02-07T00:00:00+01:00 dblp
Putting it all together - Formal verification of the VAMP.
Sven Beyer and Christian Jacobi and Daniel Kröning and Dirk Leinenbach and Wolfgang J. Paul STTT 8 411-430 (2006)
to dblp by dblp on 2007-02-07 00:00:00
]]> Evaluation of LC-MS data for the absolute quantitative analysis of marker proteins. dblp http://www.bibsonomy.org/bibtex/20869ae104d599ca7e10b82381d3aa180/dblp dblp 2006-05-10T00:00:00+02:00 dblp
Evaluation of LC-MS data for the absolute quantitative analysis of marker proteins.
Nathanaël Delmotte and Bettina M. Mayr and Andreas Leinenbach and Knut Reinert and Oliver Kohlbacher and Christoph L. Klein and Christian G. Huber Computational Proteomics (2005)
to dblp by dblp on 2006-05-10 00:00:00
]]>