dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Bastian Schlich (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnsgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp: Automatic Bug Detection in Microcontroller Software by Static Program Analysis. SOFSEM 2009: 267-278
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Huuck, Gerwin Klein, Bastian Schlich: Preface. Electr. Notes Theor. Comput. Sci. 254: 1-3 (2009)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Brauer, Ralf Huuck, Bastian Schlich: Interprocedural Pointer Analysis in Goanna. Electr. Notes Theor. Comput. Sci. 254: 65-83 (2009)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerwin Klein, Ralf Huuck, Bastian Schlich: Operating System Verification. J. Autom. Reasoning 42(2-4): 123-124 (2009)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Huuck, Gerwin Klein, Bastian Schlich: Preface. Electr. Notes Theor. Comput. Sci. 217: 1-3 (2008)

Selection of 5 from 28 records - Bastian Schlich has 29 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page