Bernhard Schätz

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Oscar Slotosch

> Home > Persons > Bernhard Schätz

Publications

2004
[c17]
- view
- export record
  dblp key:
  - conf/modellierung/SchatzRSS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modellierung/SchatzRSS04
Bernhard Schätz, Jan Romberg, Oscar Slotosch, Martin Strecker:
CASE Support and Model-Based Development. Modellierung 2004: 283-284
2000
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BraunLSS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BraunLSS00
Peter Braun, Heiko Lötzbeyer, Bernhard Schätz, Oscar Slotosch:
Consistent Integration of Formal Methods. TACAS 2000: 48-62
1998
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/HuberMSSV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/HuberMSSV98
Franz Huber, Sascha Molterer, Bernhard Schätz, Oscar Slotosch, Alexander Vilbig:
Traffic Lights - An AutoFocus Case Study. ACSD 1998: 282-294
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/pdse/HuberMRSSS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdse/HuberMRSSS98
Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, Oscar Slotosch:
Tool Supported Specification and Simulation of Distributed Systems. PDSE 1998: 155-

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.