Publication services
→
TOBIAS-lib - Publikationen und Dissertationen
→
Search

Search

Filters

Use filters to refine the search results.

Current Filters:



New Filters:

Showing 2 out of a total of 2 results for community: TOBIAS-lib - Publikationen und Dissertationen. (0.006 seconds)

Now showing items 1-2 of 2

1

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

From DQBF to QBF by Dependency Elimination

Wimmer, Ralf; Karrenbauer, Andreas; Becker, Ruben; Scholl, Christoph; Becker, Bernd (Universität TübingenUniversität Tübingen, 2018-03-13)
Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext

Winterer, Leonore; Junges, Sebastian; Wimmer, Ralf; Jansen, Nils; Topcu, Ufuk; Katoen, Joost-Pieter; Becker, Bernd (Universität TübingenUniversität Tübingen, 2018-03-13)

Now showing items 1-2 of 2

1

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

Browse

All of DSpace
This Community

My Account

Login

Filter

Department
- Informatik (2)
Date Issued
- 2018 (2)
Dokument type
- InProceedings (Aufsatz / Paper einer Konferenz etc.) (2)
Top 10 Authors
- Becker, Bernd (2)
- Wimmer, Ralf (2)
- Becker, Ruben (1)
- Jansen, Nils (1)
- Junges, Sebastian (1)
- Karrenbauer, Andreas (1)
- Katoen, Joost-Pieter (1)
- Scholl, Christoph (1)
- Topcu, Ufuk (1)
- Winterer, Leonore (1)