No. Title Author Year
1 Dagstuhl Annual Report January - December 2011 Müller-von Brochowski, Angelika et al. 2012
2 Dagstuhl Tätigkeitsbericht Januar - Dezember 2011 Müller-von Brochowski, Angelika et al. 2012
3 OASIcs, Volume 18, PPES'11, Complete Volume Lucas, Philipp et al. 2012
4 OASIcs, Volume 3, Trustworthy SW'06, Complete Volume Autexier, Serge et al. 2012
5 A Template for Predictability Definitions with Supporting Evidence Grund, Daniel et al. 2011
6 Dagstuhl Annual Report January - December 2010 Müller-von Brochowski, Angelika et al. 2011
7 Dagstuhl News January - December 2011 Müller, Fritz et al. 2011
8 Dagstuhl Tätigkeitsbericht Januar - Dezember 2010 Müller-von Brochowski, Angelika et al. 2011
9 Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482) Kreiker, Jörg et al. 2011
10 Preface (Frontmatter, Table of Contents, Preface) Lucas, Philipp et al. 2011
Current Page :
Number of result pages: 6
Number of documents: 51


DROPS-Home | Fulltext Search | Imprint Published by LZI